This is an interpreter for a concise ML-like language which has pattern-matching, a type system based on TAPL Ch 22 (type reconstruction), and a tunable evaluation strategy between call-by-value and call-by-name.

Invoke make in an environment where OCaml is installed, the you can use this interpreter in REPL or file input mode:

• ./interpreter
• ./interpreter <filename> like ./interpreter tests/parser/test1

You can toggle evaluation strategies by the line 6 and 7 in interpreter.ml.