TinyML - a statically type-checked functional programming language in 700 lines of SML

I finished documenting TinyML, my compact implementation of a functional programming language. What makes TinyML special is that its source code exceptionally short, given that it implements a lexer, parser, evaluator and polymorphic Hindley-Milner type checker, and supports arbitrary algebraic recursive data types, like lists, tuples, trees and options. Best of all TinyML is open source.

Visit the TinyML page