|
Name | Haskell | Paradigm | functional, lazy/non-strict, modular | Appeared in | 1990 | Designed by | Simon Peyton Jones, Hudak, Philip Wadler, et al. | Stable release | Haskell 2010 (November 24, 2009) | Preview release | Haskell 2011 | Typing discipline | static, strong, inferred | Major implementations | GHC, Hugs, NHC, JHC, Yhc | Dialects | Helium, Gofer | Influenced by | Alfl, APL, FP, Hope and Hope+, Id, ISWIM, KRC, Lisp, Miranda, ML and Standard ML, Lazy ML, Orwell, Ponder, SASL, SISAL, Scheme | Influenced | Agda, Bluespec, Clojure, C#, CAL, Cat, Cayenne, Clean, Curry, Epigram, Escher, F#, Factor, Isabelle, Java Generics, Kaya, LINQ, Mercury, Omega, Perl 6, Python, Qi, Scala, Timber, Visual Basic 9.0 | Operating system | Cross-platform | Usual file extensions | .hs , .lhs |
|
Haskell ( ) 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" 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 and his intellectual descendants, that "a proof is a program; the formula it proves is a type for the program".
|
|
|