A standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.