A minim(a)l subset of OCaml with Hindley-Milner type inference.
let rec sum_to =
fun n ->
if n <= 0
then 0
else n + sum_to (n - 1)
in
sum_to 10
> 55
$ dune exec miniml- Pattern matching (for now)
- Good error messages
- Lexer
- Parser
- Sweet syntax
- Basic interpreter
- Recursion
- Binding groups
- Type inference with let-polymorphism
- REPL