Algebraic data type

recursion），会令主体类型丧失（undecidable）。其他一些扩展，如Haskell的generalized algebraic data type（英语：generalized algebraic data type），也令主体类型丧失（destroy）。要么开发人员使用类型注解，要么编译器猜测类型。

代数数据类型（英語：Algebraic data type，缩写：ADT）是一种复合类型，指由其他資料類型组合而成的类型，在電腦编程中，尤其是函数式编程和类型论中應用。 两类常见的代数类型是积类型（英语：Product type）（即元组和记录）与和类型（即标签联合） 。

抽象資料型別（Abstract data type） 代數數據類型（Algebraic data type）,計算機程式設計中的一種複合類型 Android開發工具（Android Development Tools）,Eclipse IDE的插件 非同步資料傳輸（Asynchronous data transfer）

(type theory)）、类型类及函数依赖和高秩多态。PureScript的类型系统增加了对行多态（英语：Row polymorphism）和可扩展记录的支持。但是，PureScript缺乏对Haskell的某些更高级特征如GADT（英语：Generalized algebraic data type）和类型家族（英语：Type

行，GHC在并发和并行上具有高性能的实现能力，也有丰富的类型系统，如广义代数数据类型（英语：Generalized algebraic data type）和类型家族（英语：Type family））。 单子是一个抽象類型，可以表达不同种类的计算，包括异常处理、非确定性、语法分析以及软件事务内存，