miniml

A minim(a)l subset of OCaml with Hindley-Milner type inference.

Example

let rec sum_to =
  fun n ->
    if n <= 0
      then 0
      else n + sum_to (n - 1)
in
  sum_to 10

> 55

Quickstart

$ dune exec miniml

Non-goals

• Pattern matching (for now)
• Good error messages

Progress

• Lexer
• Parser
• Sweet syntax
• Basic interpreter
• Recursion
• Binding groups
• Type inference with let-polymorphism
• REPL

References

• The Hindley-Milner Type System
• Recursive closures
• Lexing and parsing with OCamllex and Menhir
• Precedence in Menhir