https://github.com/coord-e/impl-polymorphic-records-type-inference
Toy implementation of type inference for polymorphic record calculus
https://github.com/coord-e/impl-polymorphic-records-type-inference
Last synced: 11 months ago
JSON representation
Toy implementation of type inference for polymorphic record calculus
- Host: GitHub
- URL: https://github.com/coord-e/impl-polymorphic-records-type-inference
- Owner: coord-e
- License: other
- Created: 2023-01-16T08:53:19.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-02-26T04:48:50.000Z (almost 3 years ago)
- Last Synced: 2025-02-15T10:59:59.902Z (12 months ago)
- Language: Haskell
- Homepage:
- Size: 40 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# Toy implementation of type inference for polymorphic record calculus
This repository contains a toy implementation of type inference for polymorphic record calculus[[1]](#1). The [`main`](https://github.com/coord-e/impl-polymorphic-records-type-inference/tree/main) branch uses the kinded unification described in [[1]](#1). The [`record-constraints`](https://github.com/coord-e/impl-polymorphic-records-type-inference/tree/record-constraints) branch, on the other hand, implements a solver for record-related constraints separately from unification.
## Bibliography
- [1] Atsushi Ohori. 1995. A polymorphic record calculus and its compilation. ACM Trans. Program. Lang. Syst. 17, 6 (Nov. 1995), 844–895. https://doi.org/10.1145/218570.218572