algebraic data type

Hello, you have come here looking for the meaning of the word algebraic data type. In DICTIOUS you will not only get to know all the dictionary meanings for the word algebraic data type, but we will also tell you about its etymology, its characteristics and you will know how to say algebraic data type in singular and plural. Everything you need to know about the word algebraic data type you have here. The definition of the word algebraic data type will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofalgebraic data type, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

Etymology

So named because they have algebraic properties with respect to their cardinality similar to normal integers.

Noun

algebraic data type (plural algebraic data types)

  1. (programming, type theory) A data type formed by combining other types.
    Synonym: ADT
    Hyponyms: enumeration, record, tuple
    • 2021, Martin Odersky et al., chapter 19, in Programming in Scala, 5th edition, Artima, →ISBN:
      Generally, algebraic data types represent sums of products, where the cases form the alternatives of a sum type, and each case represents a product type that can be constructed from zero to many constitutent types. An EDT is a special case of ADT where each product type is a singleton.

Further reading

Wikious
Boobota
Sagapedia