Algorithm J

Hindley–Milner Algorithm J implementation in Rust.

Showcase

Usage

To run the repl, use the following command:

$ cargo run

If you want to type check a file, use the following command:

$ cargo run <filename>

References

• Hindley–Milner Wikipedia page
• How OCaml type checker works -- or what polymorphism and garbage collection have in common