Algebraic data type

GPTKB entity

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