遗憾的是,这篇文章没有提及关于Haskell中ADT的发展,来自Aask of Haskell:懒惰与类,第5.1节:
通常,代数类型指定一个或多个备选方案的总和,其中每个备选方案是零个或多个字段的乘积.允许零替代的总和可能是有用的,这将是完全空的类型,但是当时这种类型的值不被理解.
让我想知道,这样的ADT怎么会有用？
haskell types algebraic-data-types
algebraic-data-types ×1
haskell ×1
types ×1