代数数据类型代数数据类型(英语:algebraic data type,缩写ADT)是一种复合类型,指由其他资料类型组合而成的类型,在电脑编程中,尤其是函数式编程和类型论中应用。两类常见的代数类型是积类型(英语:Product type)(即元组和记录)与和类型(即标签联合) 。一个积类型的值通常包含多个值,即字段。该类型的所有值都有相同的字段类型组合。一个积类型的所有可能值的集合是其字段类型的所有可能值的集合的集合论乘积,即笛卡尔积。一个和类型的值通常被分组为多个类别,即变体。一个变体类型的值通常是用一个叫做构造器