Haskell定义了一种数据类型

Question

我正在学习Haskell，遇到类似以下内容：

data ABC :: * where
 Empty :: ABC
 Single :: Char -> ABC

上述意味着什么？当我们说“写一个代表某种东西的ABC”时，这是什么意思？

Answer 1

此语法与Haskell中的标准数据类型语法相同。特别是，类型ABC与

相同

data ABC = Empty | Single Char

包含where子句的语法称为＆＃34; GADT语法＆＃34;它通过为＆＃34;存在类型＆＃34;提供清晰的语法，提供了一些额外的表现力。和＃34;类型的平等＆＃34;。不过，这两个都是相当高级的主题。坚持基本类型，直到你的水腿。