A purely functional programming language.