README.md

miniml /mɪnəməl/

A minimal applicative programming language

Usage

Build miniml by typing make, or simply run ./miniml.

miniml can generate Lua code:

$ ./miniml -c examples/fact.miniml
print((function (fact_) fact = fact_ return (fact)(10) end)(function (x)
return ((x < 2) and 1 or (x * (fact)((x - 1)))) end))

$ ./miniml -c examples/fact.miniml | lua
3628800

Oh dear.

References

• CS 3110 - Data Structures and Functional Programming
• Compilers as lazy denotational interpreters
• The Programming Languages Zoo
• Compiling Mini-ML to JavaScript
• An Intro to Type Checking
• Parser generators and function application
• Automatic Compiler Pass Fusion