ALGEBRAIC DATA TYPE
\ˌald͡ʒɪbɹˈe͡ɪɪk dˈe͡ɪtə tˈa͡ɪp], \ˌaldʒɪbɹˈeɪɪk dˈeɪtə tˈaɪp], \ˌa_l_dʒ_ɪ_b_ɹ_ˈeɪ_ɪ_k d_ˈeɪ_t_ə t_ˈaɪ_p]\
Definitions of ALGEBRAIC DATA TYPE
Sort: Oldest first
(Or "sum of products type") In functionalprogramming, new types can be defined, each of which has oneor more constructors. Such a type is known as an algebraicdata type. E.g. in Haskell we can define a new type,"Tree":data Tree = Empty | Leaf Int | Node Tree Treewith constructors "Empty", "Leaf" and "Node". Theconstructors can be used much like functions in that they canbe (partially) applied to arguments of the appropriate type.For example, the Leaf constructor has the functional type Int-> Tree.A constructor application cannot be reduced (evaluated) like afunction application though since it is already in normalform. Functions which operate on algebraic data types can bedefined using pattern matching:depth :: Tree -> Intdepth Empty = 0depth (Leaf n) = 1depth (Node l r) = 1 + max (depth l) (depth r)The most common algebraic data type is the list which hasconstructors Nil and Cons, written in Haskell using thespecial syntax "" for Nil and infix ":" for Cons.Special cases of algebraic types are product types (only oneconstructor) and enumeration types (many constructors withno arguments). Algebraic types are one kind of constructedtype (i.e. a type formed by combining other types).An algebraic data type may also be an abstract data type(ADT) if it is exported from a module without itsconstructors. Objects of such a type can only be manipulatedusing functions defined in the same module as the typeitself.In set theory the equivalent of an algebraic data type is adiscriminated union - a set whose elements consist of a tag(equivalent to a constructor) and an object of a typecorresponding to the tag (equivalent to the constructorarguments).
By Denis Howe
Word of the day
- See under Satin.
- algebra of communicating processes
- algebraic compiler and translator
- algebraic data type
- a (, n. the state of being a [r.] de quincey.
- a (a) a shed for housing an airship or a (b) a ground or field, esp. one equipped with housing and other facilities, used for flying purposes. -- a` (#), a.
- a 1. the act of combining air with another substance, or the state of being filled with air.
- a 1. to infuse air into; to combine air with.
- a a club or association of persons interested in a