Haskell
Haskell /ˈhæskəl/[3] is a purely functional programming language. It is named after Haskell Brooks Curry, a U.S. mathematician who contributed a lot to logic. Haskell is based on lambda calculus and uses the Greek letter lambda as its logo. The main implementations are the Glasgow Haskell Compiler (GHC), and Hugs, a Haskell interpreter.
Paradigm(s) | functional, lazy/non-strict, modular |
---|---|
Appeared in | 1990 |
Designed by | Simon Peyton Jones, Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler |
Stable release | Haskell 2010[1] / July 2010 |
Preview release | Announced as Haskell 2014[2] |
Typing discipline | static, strong, inferred |
Major implementations | GHC, Hugs, NHC, JHC, Yhc, UHC |
Dialects | Helium, Gofer |
OS | Cross-platform |
Usual filename extensions | .hs , .lhs |
Website | haskell |
Examples
The following is an example Hello World program in Haskell: <syntaxhighlight lang="haskell"> module Main where
main :: IO () main = putStrLn "Hello, World!" </syntaxhighlight>
One way to create an infinite list of Fibonacci numbers is this:[4] <syntaxhighlight lang="haskell"> fib n = fibs !! n
where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
</syntaxhighlight>
Influence
Haskell was influenced by many earlier programming languages. These were Clean, FP, Gofer, Hope and Hope+, Id, ISWIM, KRC, Lisp, Miranda, ML and Standard ML, Orwell, SASL, SISAL, and Scheme.[5]
Haskell itself has influenced many later programming languages, such as Agda,[6] Bluespec,[7] C++11/Concepts,[8] C#/LINQ,[9][10][11][12] Cayenne,[9] Clean,[9] Clojure,[13] CoffeeScript,[14] Curry,[9] F#,[15] Isabelle,[9] Java/Generics,[9] Mercury,[9] Perl 6,[16] Python,[9][17] Scala,[9][18] Visual Basic 9.0.[9][10]
Haskell Media
Hierarchy of type classes in the Haskell prelude as of GHC 7.10.The inclusion of Foldable and Traversable (with corresponding changes to the type signatures of some functions), and of Applicative as intermediate between Functor and Monad, are deviations from the Haskell 2010 standard.
References
- ↑ Marlow, Simon (24 November 2009). "Announcing Haskell 2010". Haskell mailing list. http://www.haskell.org/pipermail/haskell/2009-November/021750.html. Retrieved 12 March 2011.
- ↑ Lynagh, Ian (1 May 2013). "Haskell 2014". Haskell-prime mailing list. http://www.haskell.org/pipermail/haskell-prime/2013-May/003825.html. Retrieved 9 October 2013.
- ↑ Chevalier, Tim (28 January 2008). "anybody can tell me the pronuncation of "haskell"?". Haskell-cafe mailing list. http://www.haskell.org/pipermail/haskell-cafe/2008-January/038756.html. Retrieved 12 March 2011.
- ↑ "The Fibonacci sequence". HaskellWiki. 2 August 2012. Retrieved 27 March 2013.
- ↑ Peyton Jones, Simon, ed. (2003). Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press. p. xi. ISBN 0521826144.
- ↑ Norell, Ulf (2008). "Dependently Typed Programming in Agda" (PDF). Gothenburg: Chalmers University. Retrieved 9 February 2012.
- ↑ Hudak and others 2007, p. 12-38,43.
- ↑ Stroustrup, Bjarne; Sutton, Andrew (2011). "Design of Concept Libraries for C++" (PDF). Archived from the original (PDF) on 2012-02-10. Retrieved 2013-11-01.
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ 9.0 9.1 9.2 9.3 9.4 9.5 9.6 9.7 9.8 9.9 Hudak and others 2007, pp. 12-45–46.
- ↑ 10.0 10.1 Meijer, Erik. "Confessions of a Used Programming Language Salesman: Getting the Masses Hooked on Haskell" (PDF). Oopsla 2007.
- ↑ Meijer, Erik (1 October 2009). "C9 Lectures: Dr. Erik Meijer – Functional Programming Fundamentals, Chapter 1 of 13". Channel 9. Microsoft. Archived from the original on 16 June 2012. Retrieved 9 February 2012.
- ↑ Drobi, Sadek (4 March 2009). "Erik Meijer on LINQ". InfoQ (San Francisco: C4Media Inc.). http://www.infoq.com/interviews/LINQ-Erik-Meijer. Retrieved 9 February 2012.
- ↑ Hickey, Rich. "Clojure Bookshelf". Listmania!. Amazon.com. Retrieved 9 February 2012.
- ↑ Heller, Martin (18 October 2011). "Turn up your nose at Dart and smell the CoffeeScript". JavaWorld (InfoWorld). http://www.javaworld.com/javaworld/jw-10-2011/111018-coffeescript-vs-dart.html. Retrieved 9 February 2012.
- ↑ Syme, Don; Granicz, Adam; Cisternino, Antonio (2007). Expert F#. Apress. p. 2.
F# also draws from Haskell particularly with regard to two advanced language features called sequence expressions and workflows.
- ↑ "Glossary of Terms and Jargon". Perl Foundation Perl 6 Wiki. The Perl Foundation. Archived from the original on 21 January 2012. Retrieved 9 February 2012.
- ↑ Kuchling, A. M. "Functional Programming HOWTO". Python v2.7.2 documentation. Python Software Foundation. Retrieved 9 February 2012.
- ↑ Fogus, Michael (6 August 2010). "MartinOdersky take(5) toList". Send More Paramedics. Retrieved 9 February 2012.