Haskell (pronounced [ˈhæskəl]) is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.
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 wa...
more
Read article at Wikipedia
Haskell
Programming Language
Language Paradigms:
- Interpreted language
- Functional programming
- Compiled language
- Declarative programming
- Combinatory logic
- Lazy evaluation
- Strongly-typed programming language
- Type inference
- Mathematics
Introduced:
- 1990
Influenced By:
View entire collection »Literature Subject
Works Written About This Topic
Facts from the Community
From the Proofs are Programs base
How it applied the concept:
- The Haskell programming languages continues to explore the power of theorem proving in its type language through the development of type classes.