Paradigm | functional, imperative, lazy/non-strict, modular |
---|---|
Designed by | Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, Simon Peyton Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler |
First appeared | 1990 |
Stable release |
Haskell 2010 / July 2010
|
Preview release |
Haskell 2014 announced
|
Typing discipline | static, strong, inferred |
OS | Cross-platform |
Filename extensions |
.hs , .lhs
|
Website | haskell |
Major implementations | |
GHC, Hugs, NHC, JHC, Yhc, UHC | |
Dialects | |
Helium, Gofer | |
Influenced by | |
Clean,FP,Gofer,Hope and Hope+,Id,ISWIM,KRC,Lisp,Miranda,ML and Standard ML,Orwell, SASL, Scheme,SISAL |
|
Influenced | |
Agda,Bluespec,C++11/Concepts,C#/LINQ,CAL,Cayenne,Clean,Clojure,CoffeeScript,Curry,Elm, Epigram,Escher,F#,Frege,Hack,Idris,Isabelle,Java/Generics,LiveScript,Mercury,Ωmega,Perl 6,Python,Rust,Scala,Swift,Timber,Visual Basic 9.0 |
Clean,FP,Gofer,Hope and Hope+,Id,ISWIM,KRC,Lisp,Miranda,ML and Standard ML,Orwell, SASL,
Haskell /ˈ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. The latest standard of Haskell is Haskell 2010. As of May 2016[update], a group is working on the next version, Haskell 2020.
Haskell features a type system with type inference and lazy evaluation.Type classes first appeared in the Haskell programming language. Its main implementation is the Glasgow Haskell Compiler.