Haskell /hskl/[26] is a standardized, general-purpose purely functional programming

language, with non-strict semantics and strong static typing.[27] It is named af

ter logician Haskell Curry.[1] The latest standard of Haskell is Haskell 2010. A
s of May 2016, a group is working on the next version, Haskell 2020.[28]
Haskell features a type system with type inference[29] and lazy evaluation.[30]
Type classes first appeared in the Haskell programming language.[31] Its main im
plementation is the Glasgow Haskell Compiler.
Haskell is based on the semantics, but not the syntax, of the language Miranda,
which served to focus the efforts of the initial Haskell working group.[32] Hask
ell is used widely in academia[33][34] and also used in industry.