Haskell (programming language)

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, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class 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 non-strict, 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 functional-language 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
B-spline
Even and odd permutations
Cauchy's integral formula
Free group
Minimum spanning tree
Morphism
Normal space
Yoneda lemma
Stone–Weierstrass theorem
Positive-definite matrix