By Darryl K. Taft, eWeek
Haskell is a standardized, general-purpose, purely functional programming language, with non-strict semantics and strong static typing. In computer science and computer programming, a type system is said to feature strong typing when it specifies one or more restrictions on how operations involving values of different data types can be intermixed. The opposite of strong typing is weak typing. “Strong typing” implies that the programming language places severe restrictions on the intermixing that is permitted to occur. This prevents the compiling or running of source code, which prevents data from being used in an invalid way. Haskell is named after logician Haskell Curry. In Haskell, “a function is a first-class citizen” of the programming language. As a functional programming language, the primary control construct is the function. The language is rooted in the observations of Curry and his intellectual descendants, that “a proof is a program; the formula it proves is a type for the program.”
Share on Facebook