An eager, pure functional, general-purpose programming language.