Haskell

E95186
functional programming language lazy functional programming language programming language purely functional programming language statically typed programming language

Haskell is a statically typed, purely functional programming language known for its strong type system, lazy evaluation, and use in both academic research and industry.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (7)

Label Occurrences
Haskell canonical 19
Haskell programming language 3
Haskell (programming language) 2

How this entity was disambiguated

Statements (55)

Predicate Object
instanceOf functional programming language ⓘ
lazy functional programming language ⓘ
programming language ⓘ
purely functional programming language ⓘ
statically typed programming language ⓘ
designedBy Haskell committee ⓘ
evaluationStrategy lazy ⓘ
fileExtension .hs ⓘ
.lhs ⓘ
hasFeature algebraic data types ⓘ
garbage collection ⓘ
lazy evaluation ⓘ
pattern matching ⓘ
referential transparency ⓘ
type classes ⓘ
hasImplementation GHC ⓘ
GHC ⓘ
surface form: Glasgow Haskell Compiler

Helium ⓘ
Hugs ⓘ
hasPackageManager Cabal ⓘ
Stack ⓘ
hasPackageRepository Hackage ⓘ
influenced Elm ⓘ
F# ⓘ
Idris ⓘ
PureScript ⓘ
Rust ⓘ
Scala ⓘ
influencedBy Hope programming language ⓘ
Lisp programming language ⓘ
surface form: Lisp

ML ⓘ
Miranda ⓘ
namedAfter Haskell Curry ⓘ
paradigm declarative ⓘ
functional ⓘ
primaryCompiler GHC ⓘ
surface form: Glasgow Haskell Compiler
standardizedBy Haskell self-linksurface differs ⓘ
surface form: Haskell 2010

Haskell self-linksurface differs ⓘ
surface form: Haskell 98
supports algebraic data types ⓘ
concurrency ⓘ
higher-order functions ⓘ
lambda expressions ⓘ
lazy evaluation ⓘ
monads ⓘ
parallelism ⓘ
pattern matching ⓘ
pure functions ⓘ
type classes ⓘ
type inference ⓘ
typingDiscipline inferred ⓘ
static ⓘ
strong ⓘ
usedFor academic research ⓘ
industry software development ⓘ
teaching functional programming ⓘ

How these facts were elicited

Referenced by (28)

Full triples — surface form annotated when it differs from this entity's canonical label.

Codex → supportsLanguage → Haskell ⓘ
Rust → influencedBy → Haskell ⓘ
Swift → influencedBy → Haskell ⓘ
subject surface form: Swift (programming language)
CoffeeScript → influencedBy → Haskell ⓘ
Elm → influencedBy → Haskell ⓘ
lambda calculus → influenced → Haskell ⓘ
F# → influencedBy → Haskell ⓘ
LLVM → supportsLanguageFrontend → Haskell ⓘ
this entity surface form: Haskell (via GHC backend)
Spacemacs → supportsProgrammingLanguage → Haskell ⓘ
Scala → influencedBy → Haskell ⓘ
Haskell Wexler → givenName → Haskell ⓘ
Haskell → standardizedBy → Haskell self-linksurface differs ⓘ
this entity surface form: Haskell 98
Haskell → standardizedBy → Haskell self-linksurface differs ⓘ
this entity surface form: Haskell 2010
ISWIM → influenced → Haskell ⓘ
ML → influenced → Haskell ⓘ
Evan Czaplicki → influencedBy → Haskell ⓘ
Graydon Hoare → influencedBy → Haskell ⓘ
libsodium → supportsLanguageBinding → Haskell ⓘ
Standard ML → influenced → Haskell ⓘ
Haskell Curry → givenName → Haskell ⓘ
Haskell Curry → influenced → Haskell ⓘ
this entity surface form: Haskell (programming language)
Haskell Curry → hasConceptNamedAfter → Haskell ⓘ
this entity surface form: Haskell (programming language)
Clojure → influencedBy → Haskell ⓘ
Philip Wadler → contributedTo → Haskell ⓘ
this entity surface form: Haskell programming language
Pizza programming language → influencedBy → Haskell ⓘ
subject surface form: Pizza (programming language)
Simon Peyton Jones → knownFor → Haskell ⓘ
this entity surface form: Haskell programming language
Simon Peyton Jones → coDesignerOf → Haskell ⓘ
this entity surface form: Haskell programming language
Simon Peyton Jones → contributedTo → Haskell ⓘ
this entity surface form: parallel and concurrent Haskell