Haskell is named after the American logician Haskell Curry.
The language was created in the late 1980s by a committee seeking a common non-strict, purely functional programming language. Haskell 1.0 was defined in 1990. Its name honors Curry, whose work in combinatory logic influenced functional programming; the term “currying” is also named after him.
Haskell is known for strong static typing, type inference, lazy evaluation, and pure functional programming. The Glasgow Haskell Compiler, usually called GHC, is its most widely used implementation and supports extensions beyond the standard language.
Haskell is not the same as Miranda, an earlier non-strict functional language that influenced its design. Erlang and Elm also draw on functional programming, but neither supplies Haskell’s name or its exact language history.