Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TODO List #3

Open
7 of 10 tasks
Drup opened this issue Jan 20, 2021 · 1 comment
Open
7 of 10 tasks

TODO List #3

Drup opened this issue Jan 20, 2021 · 1 comment

Comments

@Drup
Copy link
Owner

Drup commented Jan 20, 2021 •
edited
Loading

Software engineering

  • Add tests
  • Implement a proper notion of printing environment
  • Use proper logging
  • Plug together the unification and the database again

Science

  • Make sure the returned unifiers are minimal
  • Add rigid variables

Indexation:
@Drup
Copy link
Owner Author

Drup commented Nov 4, 2021 •
edited
Loading

Reading list and/or references

  • [RDC]: Di Cosmo (Roberto). - Isomorphisms of types: from
    lambda-calculus to information retrieval and language
    design. - Birkhauser, 1994.

  • [Rit90] Mikael Rittri. Retrieving library identifiers by
    equational matching of types in 10th Int. Conf. on Automated
    Deduction. Lecture Notes in Computer Science, 449, July
    1990.

  • [Rit91] Mikael Rittri. Using types as search keys in func-
    tion libraries. Journal of Functional Programming, 1(1):71-
    89, 1991.

Unification

  • [Rit93] Mikael Rittri. Retrieving library functions by
    unifying types modulo linear isomorphism. RAIRO Theoretical
    Informatics and Applications, 27(6):523-540, 1993.

  • [DJ90]

  • Equality [SE94]

With modules

  • [Mul; ZW93] ADC96; ADCD97

Serialization

To speed up database deserialization, we could use a format
that allows random access in an mmap datastructure.
Example of such formats:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Drup