Haskell programming language/Definition

general-purpose, functional programming language, with lax ("non-strict") semantics and strong, static typing, named for logician Haskell B. Curry.