miniml is a minilanguage created in 2013.
eager, functional, recursive functions, statically typed, compiler, abstract machine