Experimental ML implementation in OCaml.
This software is built for a personal project to understand type theory and functional programming language.
- OCaml(4.05.0)
- dune(1.2.1)
$ make
$ make run FILE_NAME=example.ml
$ make repl
- Parametric polymorphism
- Type inference
- List
- Pattern matching
- Mutual recursion
- Interpreter -> Compiler