Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
Algebraic data type
|
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 |
gptkbp:bfsParent |
gptkb:Union_(computer_science)
|
gptkbp:bfsLayer |
6
|