Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:data_type
|
| gptkbp:contrastsWith |
gptkb:abstract_data_type
gptkb:object-oriented_data_type |
| gptkbp:definedIn |
combining other types
|
| gptkbp:enables |
pattern matching
type safety |
| gptkbp:example |
Either type in Haskell
List type in ML Maybe type in Haskell |
| gptkbp:formalized_in |
gptkb:logic
|
| gptkbp:relatedTo |
discriminated union
tagged union |
| gptkbp:subspecies |
product type
sum type |
| gptkbp:used_in |
gptkb:logic
gptkb:F# gptkb:Haskell gptkb:Scala ML functional programming |
| https://www.w3.org/2000/01/rdf-schema#label |
Algebraic data type
|