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

"Haskell is known for its high level of abstraction, enabling concise and expressive code that closely represents mathematical logic."