以下代码无效：
data A = Int | [Int] | (Int, Int)
为什么可以使用具体类型 Int 作为数据类型定义的一部分，但不能使用具体类型 [Int] 或 (Int, Int)？
【问题讨论】：
Int，它在这里看到Int作为构造函数。
标签： haskell types algebraic-data-types
为什么可以使用具体类型 Int 作为数据类型定义的一部分 (..)
不行。
您在这里编写的是数据类型A 的定义，该数据类型有一个名为Int 的构造函数。这与Int的数据类型无关，构造函数的名称与类型的名称相同只是一个巧合，但这对于Haskell编译器来说不是问题，因为Haskell有一个明确的类型和构造函数名称的区别。
但是，您不能使用[Int]，因为[Int] 不是标识符（它以左方括号开头），也不是运算符（只能使用符号）。所以 Haskell 并不真正知道如何处理这个和这个输入上的错误。
如果您想定义一个可以采用Int 值的数据类型，您需要将其添加为参数。您还可以为 [Int] 和 (Int, Int) 参数定义构造函数。例如：
data A = <b>Int</b> Int | <b>Ints</b> [Int] | <b>Int2</b> (Int,Int)所以这里有三个构造函数：Int、Ints 和 Int2。第一个构造函数以Int 作为参数，第二个以[Int] 作为参数，最后一个以(Int, Int) 作为参数。
话虽如此，这可能会导致很多混乱，因此最好使用不会引起混乱的构造函数名称，例如：
data A = <b>A</b> Int | <b>As</b> [Int] | <b>A2</b> (Int,Int)注意data A的A可以用在函数的签名中，而构造函数（粗体）用作值（所以在函数的实现中，也就是在子句的头部，并且为了在子句的主体中构造一个值）。
【讨论】：
A1 Int 会引起更少的混乱。