列表的标准定义

Question

我对列表的定义有疑问。 通常列表定义为data [a] = [] | a : [a] data [a] = [] | a : [a]但如果我在我的代码上写这样的东西，我会定义data T a = N | a -> (T a) data T a = N | a -> (T a)解释器给我一个错误：

类型或类声明的格式错误的头

你知道怎么回事吗？ .

Answer 1

看起来您的问题是您尝试使用->作为中缀构造函数，例如:为了使用a -> b -> N语法构建列表）。 这是不允许的，因为 Haskell 中的自定义中缀构造函数必须以:字符开头。

你奇怪的错误消息的原因是因为->在 Haskell 中是为函数类型保留的，正如杰夫的回答所解释的

试试这个：

-- Create a right-associative infix constructor.
data T a = N | a :-> (T a)
infixr :->

mylist :: T Int
mylist = 10 :-> 17 :-> N

--If we hadn't made the operator right associative,
-- we would need to use explicit parenthesis here
myotherlist :: T Int
myotherlist = 10 :-> (17 :-> N)

-- Example function
isempty :: T a -> Bool
isempty N         = True
isempty (_ :-> _) = False

Answer 2

a -> T a意味着 a 是一个返回T a的函数，所以我认为这是错误的。 尝试这样的事情。

data T a = N | R a (T a)

N 是空列表（相当于[] ）值，R 是值构造函数（相当于: ）

在右侧，您需要某种方式来携带a值。 您现在可以正确列出喜欢的列表。

> N -- The empty List
> R 5 N -- a list with a single element and then the end
> R 7 (R 6 (R 5 N)) -- the list 7, 6, 5