algebraic data type

名词 n.
中文释义

英文释义

名词 n.
  1. A data type formed by combining other types.
    — 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.

词形变化

algebraic data types plural

词源

So named because they have algebraic properties with respect to their cardinality similar to normal integers.
0 次浏览 数据来源: Wiktionary