mml

Experimental ML implementation in OCaml.

This software is built for a personal project to understand type theory and functional programming language.

Getting started

Prerequisites (versions are tested by the author)

• OCaml(4.05.0)
• dune(1.2.1)

Build

$ make

Run a file

$ make run FILE_NAME=example.ml

Launch a REPL

$ make repl

TODO

• Parametric polymorphism
• Type inference
• List
• Pattern matching
• Mutual recursion
• Interpreter -> Compiler