LTWlanguages & frameworks ltw://languages
  1. Home
  2. Languages
  3. Haskell
Language

Haskell

Purely functional programming language

1990Appeared
Haskell 2010Latest version
24Languages it influenced

Facts

Appeared
1990
Latest version
Haskell 2010 (July 1, 2010)
Languages it influenced
24
Kind
interpreted language, purely functional programming language, modular programming language, non-strict programming language, off-side rule language, compiled language
Paradigms
functional programming, purely functional programming, non-strict programming
Designed by
Alastair Reid, Paul Hudak, Thomas Johnsson, John Launchbury, Philip Wadler, Erik Meijer, Kevin Hammond, John Hughes, Lennart Augustsson, Simon Peyton Jones, Warren Burton
Developer
Paul Hudak, Philip Wadler, Erik Meijer, John Hughes, Lennart Augustsson, Simon Peyton Jones
Influenced by
Lisp, Clean, Lazy ML, Orwell, Miranda, ML
File extensions
.hs .lhs
Operating system
Microsoft Windows, Unix-like operating system
Influences listed
6

Sources: Wikidata (CC0) · Wikidata Q34010

Influenced · 24

LanguageAppearedParadigmsType systemLanguages it influenced
Agda2007purely functional programmingmanifest typing, static typing, nominative typing, dependent typing, inference typing, strong typing1
Aldor1990functional programming, imperative programming, logic programming, object-oriented programmingstatic typing, dependent type—
A♯1971functional programming——
Ballerina2017concurrent computingstatic typing, inference typing, structural typing, strong typing—
C#2001generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programmingdynamic typing, nominative typing, inference typing, strong typing23
Chaos————
CoffeeScript2009prototype-based programming, functional programming, imperative programming, aspect-oriented programming, multi-paradigm programmingdynamic typing2
Croc2006———
Curry1995functional programming, logic programming, constraint programmingstatic typing, inference typing, strong typing—
Elm2012functional programming, purely functional programming, reactive programming, functional reactive programmingstatic typing, inference typing, strong typing2
F#2005reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programmingstatic typing, inference typing, strong typing4
Frege2011functional programming, purely functional programming——
Hack2014—dynamic typing, gradual typing, static typing, inference typing, weak typing—
Idris2007total functional programming, functional programming, purely functional programmingstatic typing, dependent typing, linear typing, uniqueness typing—
LiveScript2011functional programming, object-oriented programmingdynamic typing, weak typing1
Mercury1995functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programmingstatic typing, parametric polymorphism, uniqueness typing, strong typing—
Pure2008functional programming, declarative programmingdynamic typing, strong typing—
PureScript2013functional programming, purely functional programmingstatic typing, inference typing, row polymorphism, strong typing—
Raku2015functional programming, imperative programming, object-oriented programmingdynamic typing, gradual typing—
Roc—functional programmingstatic typing, inference typing—
Rust2006generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programmingstatic typing, nominative typing, inference typing, linear typing, strong typing12
Scala2004concurrent computing, functional programming, imperative programming, object-oriented programmingstatic typing, inference typing, structural typing, strong typing9
Swift2014functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programmingstatic typing, inference typing, strong typing5
Ur/Web2014———

Languages implemented in it · 6

Frameworks written in it · 5