miniml is a minilanguage created in 2013.
Try now: TIO
eager, functional, recursive functions, statically typed, compiler, abstract machine
View source