Generalized algebraic data type

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

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

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

replaced case expressions with multi-equation function definitions over algebraic types, including natural numbers, e.g. fib (0) <= 1 fib (1) <= 1 fib (n+2)

Oxford University Press, 2005, ISBN 0-19-856746-4  Giulini, Domenico, Algebraic and Geometric Structures in Special Relativity, Ehlers, Jürgen; Lämmerzahl