
related topics 
{math, number, function} 
{system, computer, user} 
{work, book, publish} 
{album, band, music} 
{law, state, case} 
{style, bgcolor, rowspan} 

Haskell (pronounced /ˈhæskəl/)^{[2]}^{[3]} is a standardized, generalpurpose purely functional programming language, with nonstrict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a firstclass citizen"^{[4]} of the programming language. As a functional programming language, the primary control construct is the function; the language is rooted in the observations of Haskell Curry^{[5]}^{[6]} and his intellectual descendants,^{[7]}^{[8]} that "a proof is a program; the formula it proves is a type for the program".
Contents
History
Following the release of Miranda by Research Software Ltd, in 1985, interest in lazy functional languages grew: by 1987, more than a dozen nonstrict, purely functional programming languages existed. Of these, Miranda was the most widely used, but was not in the public domain. At the conference on Functional Programming Languages and Computer Architecture (FPCA '87) in Portland, Oregon, a meeting was held during which participants formed a strong consensus that a committee should be formed to define an open standard for such languages. The committee's purpose was to consolidate the existing functional languages into a common one that would serve as a basis for future research in functionallanguage design.^{[9]}
Full article ▸


related documents 
Associative array 
Integer (computer science) 
Character encodings in HTML 
Document Type Definition 
Sheffer stroke 
Expander graph 
LL parser 
Algebraically closed field 
Stokes' theorem 
Integer factorization 
Henri Lebesgue 
Optimization (mathematics) 
Parameter 
Pseudorandom number generator 
Banach space 
Topology 
Universal quantification 
Line integral 
A* search algorithm 
Topological vector space 
Bspline 
Even and odd permutations 
Cauchy's integral formula 
Free group 
Minimum spanning tree 
Morphism 
Normal space 
Yoneda lemma 
Stone–Weierstrass theorem 
Positivedefinite matrix 
