Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system concept
|
| gptkbp:allows |
different result types for constructors
|
| gptkbp:contrastsWith |
regular algebraic data type
|
| gptkbp:documentedIn |
academic papers on type systems
|
| gptkbp:enables |
type-safe pattern matching
more precise type information |
| gptkbp:features |
advanced type systems
|
| https://www.w3.org/2000/01/rdf-schema#label |
GADT
|
| gptkbp:introducedIn |
early 2000s
|
| gptkbp:relatedTo |
algebraic data type
|
| gptkbp:standsFor |
Generalized Algebraic Data Type
|
| gptkbp:usedIn |
gptkb:Haskell
gptkb:OCaml gptkb:Scala functional programming |
| gptkbp:bfsParent |
gptkb:Generalized_Algebraic_Data_Types
|
| gptkbp:bfsLayer |
7
|