Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Programming Language

Haskell

Functional Language

Haskell is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. It pioneered type classes for type-safe operator overloading and a monadic approach to input and output, and is named after logician Haskell Curry. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
First Released
1990 1
Paradigm
Purely functional, with lazy evaluation and static typing. 1
Significance
Designed by a committee, including Lennart Augustsson, Paul Hudak, John Hughes, Simon Peyton Jones and Philip Wadler, rather than a single author; it pioneered type classes and monadic input and output, becoming a major influence on later functional and statically typed language design. Some computer scientists, including Simon Peyton Jones and Robert Harper, have argued lazy evaluation complicates reasoning about performance, making Haskell arguably unsuited to teaching introductory programming. 1
Connections

Base Language For

Yesod, Frameworks

Verified en.wikipedia.org/wiki/Yesod_(web_framework) infobox: "Written in Haskell".

In Field

Programming Language Theory, Fields
Source Wikipedia: Haskell

Influenced

Agda, Programming Languages

Agda infobox lists Haskell under "Influenced by"; "a Haskell-like syntax." en.wikipedia.org/wiki/Agda_(programming_language)

Elm, Programming Languages

Elm infobox: "Influenced by: Haskell, Standard ML, OCaml, F#." en.wikipedia.org/wiki/Elm_(programming_language)

Idris, Programming Languages

"The syntax of Idris shows many similarities with that of Haskell." en.wikipedia.org/wiki/Idris_(programming_language)

PureScript, Programming Languages

"Its syntax is mostly comparable to that of Haskell." PureScript infobox lists Haskell under "Influenced by". en.wikipedia.org/wiki/PureScript

Rust, Programming Languages
Source Wikipedia: Rust (programming language)

Influenced By

Miranda, Programming Languages
Standard ML, Programming Languages
Source Wikipedia: Standard ML
Sources
1. Wikipedia: Haskell
Wikimedia Foundation
  • Features section
    functions generally have no side effects
  • Infobox
  • Infobox, first appeared date
  • Reception section
    Bastiaan Heeren, Daan Leijen, and Arjan van IJzendoorn in 2003 also observed some stumbling blocks for Haskell learners: "The subtle syntax and sophisticated type system of Haskell are a double edged sword-highly appreciated by experienced programmers but also a source of frustration among beginners, since the generality of Haskell often leads to cryptic error messages."
  • In Field: Programming Language Theory
View the Source
Wikipedia: Rust (programming language)
Wikimedia FoundationInfluenced: Rust, History sectionView the Source
Wikipedia: Standard ML
Wikimedia FoundationInfluenced By: Standard ML, Lead section
Quote, Influenced By: Standard ML, Lead section
Standard ML shaped the development of Haskell, Elm, F#, OCaml, Rust, and Scala
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.