小贝子编程

ADT名称.什么是“左a”，然后是什么是“a”，在哈斯克尔

本文关键字：是什么哈斯克然后名称 ADT haskell functional-programming terminology algebraic-data-types
更新时间 : 2023-08-25
英文 : ADT names. What is `Left a`, and then what is `a`, in Haskell?

如果我有一个Haskell ADT，例如：

data Foo
 = A Int Double
 | B Bool [Integer]
 | C (Maybe String) Float

A、B和C被称为数据构造函数；有时作为值构造函数。但是什么是正确的名称：

阅读Haskell98报告第4.2节(http://www.haskell.org/onlinereport/decls.html(：

data Foo = A Int Double
     ^^ Type Constructor "data Foo"
           ^ value Constructor "A"
             ^^ Component "Int" and "Double"

A|B通常被称为备选方案或案例。抱歉这张糟糕的图表。

来源：真实世界Haskell ch3

相关内容