Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Rust
120
6 commits
updated Apr 6, 2019
README
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
See arXiv:1306.6032
This implementation focusses on readability and being able to follow the paper while reading the code.
Use the synth function to synthesize a Type from an Expression.
The process is traced through stdout, so that you can follow the rules invoked.
Basis of this implementation was the paper and implementations by Olle Fredriksson in Haskell and Albert ten Napel in TypeScript.
Contributors
6 commits
Similar repos
Languages
Rust
100.0%
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Rust
120
6 commits
updated Apr 6, 2019
README
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
See arXiv:1306.6032
This implementation focusses on readability and being able to follow the paper while reading the code.
Use the synth function to synthesize a Type from an Expression.
The process is traced through stdout, so that you can follow the rules invoked.
Basis of this implementation was the paper and implementations by Olle Fredriksson in Haskell and Albert ten Napel in TypeScript.
Similar repos
Contributors
6 commits
Languages
Rust
100.0%