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.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| Haskell (via GHC backend) | 1 |
| Haskell 2010 | 1 |
| Haskell 98 | 1 |
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 NERFINISHED ⓘ Scala ⓘ |
| influencedBy |
Hope programming language
ⓘ
Lisp NERFINISHED ⓘ ML ⓘ Miranda ⓘ |
| namedAfter | Haskell Curry ⓘ |
| paradigm |
declarative
ⓘ
functional ⓘ |
| primaryCompiler | Glasgow Haskell Compiler NERFINISHED ⓘ |
| 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 ⓘ |
Referenced by (13)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Swift (programming language)
this entity surface form:
Haskell 98
this entity surface form:
Haskell 2010
this entity surface form:
Haskell (via GHC backend)