A simple, functional, statically typed programming language.