Haskell中的Node是什么？是关键字、数据类型还是值构造器？

首先明确：Node不是Haskell的内置关键字，它只是你自定义的数据构造器，没有特殊的内置含义。

你给出的代码是标准的代数数据类型定义语句，完全不是声明变量，作用是定义全新的自定义泛型数据类型Seq a，逐段拆解含义如下：

• 开头的data是Haskell的内置关键字，专门用来声明新的代数数据类型
• Seq a是你定义的新类型的名称，其中a是泛型类型参数，代表这个类型可以存储任意类型的元素
• 等号右侧用竖线|分隔两个数据构造器，代表Seq a类型的取值只能是两种情况之一：
  • Empty：无参数的构造器，代表空序列
  • Node：带两个参数的构造器，第一个参数是类型为a的元素，第二个参数是另一个Seq a类型的序列，代表存储了当前元素+后续子序列的非空序列

举个实际用法的例子，如果你要构造一个存储整数、内容为1、2、3的Seq，写法如下：

mySeq :: Seq Int
mySeq = Node 1 (Node 2 (Node 3 Empty))

你可以任意修改Node这个名字，比如换成Cons，只要同步修改定义即可：data Seq a = Empty | Cons a (Seq a)，后续使用逻辑完全不变，它只是你自行定义的构造器标识，没有语言层面的强制含义。

内容的提问来源于stack exchange，提问作者Kevin M.