Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:designed_by |
gptkb:Haskell_Committee
|
| gptkbp:has_feature |
gptkb:Command_Line_Interface
gptkb:political_theory exception handling higher-order functions list comprehensions polymorphism type classes pattern matching strong static typing foreign function interface lazy evaluation algebraic data types first-class functions monads concurrency support purely functional IO system syntax for Template Haskell syntax for associated types syntax for case expressions syntax for class declarations syntax for data declarations syntax for deriving syntax for deriving generic instances syntax for deriving generic newtypes syntax for deriving generic type classes syntax for deriving instances syntax for deriving newtypes syntax for deriving type classes syntax for do notation syntax for existential types syntax for field labels syntax for functional dependencies syntax for guards syntax for instance declarations syntax for lambda expressions syntax for let expressions syntax for list processing syntax for multi-parameter type classes syntax for newtype declarations syntax for overlapping instances syntax for quasi-quoting syntax for record syntax syntax for type annotations syntax for type classes syntax for type declarations syntax for type families syntax for type synonyms syntax for type-level programming syntax for undecidable instances syntax for where clauses syntax for GADTs syntax for deriving generic instances for GADTs syntax for deriving generic newtypes for GADTs syntax for deriving generic type classes for GADTs |
| https://www.w3.org/2000/01/rdf-schema#label |
Haskell 98
|
| gptkbp:is_a |
standard version of Haskell
|
| gptkbp:predecessor |
gptkb:Haskell_2010
|
| gptkbp:released_in |
gptkb:1998
|
| gptkbp:successor |
gptkb:Haskell_1.4
|
| gptkbp:supports |
functional programming
type inference lazy evaluation |
| gptkbp:bfsParent |
gptkb:Haskell
|
| gptkbp:bfsLayer |
5
|