缺点和： - ：在Haskell中意味着什么？

Question

在LYAHFGG中 ，有一章说该列表定义为：

data List a = Cons a (List a) deriving (Show, Read, Eq, Ord)

我理解除了缺点之外，大多数这意味着什么。 当我尝试:t Cons和:i Cons在ghci :i Cons我得到一个不在范围内的错误。 在本章后面，它还讨论了： - 和它与Cons的相同之处

infixr 5 :-:  
data List a = Empty | a :-: (List a) deriving (Show, Read, Eq, Ord)  

但我真的不明白这是什么:-:意味着。

在另一个资源中，在有关数据类型的部分中，它们定义以下数据类型：

data Expr = X
      | Const Int
      | Expr :+: Expr
      | Expr :-: Expr
      | Expr :*: Expr
      | Expr :/: Expr
      | IfZero Expr Expr Expr
      deriving (Eq, Ord)

其中IfZero pqr与if p == 0 then q else r相同， if p == 0 then q else r 。 这是一回事吗？ 我很困惑这两个: s是什么意思，如果它是强制语法或只是样式选择。

Answer 1

 data List a = Cons a (List a) deriving (Show, Read, Eq, Ord) 

我理解除了缺点之外，大多数这意味着什么。 当我尝试:t Cons和:i Cons在ghci :i Cons我得到一个不在范围内的错误。

您需要使用data声明加载Haskell源文件，然后才能在范围内使用Cons 。 或者，您也可以直接在GHCi中输入该data行。

对于严肃的代码，如果将其放入文件并加载它会更容易。 这是因为学习过程通常涉及稍微修改文件，重新加载文件，在GHCi中尝试一些测试，再次修改文件等。在GHCi中执行此操作非常麻烦。

无论如何， Cons只是构造函数名称 - 它是一个任意名称。 您可以使用data List a = Foobar a (List a) ....并将其命名为Foobar ，如果您愿意的话。 但是， Cons是一个历史名称，源自Lisp。

:-:是构造函数的另一个任意名称，除了它可以使用中缀 。 即，而不是Cons 1 someList可以写1 :-: someList 。

Answer 2

:-:只是数据构造函数的中缀名称。 你可以看到data声明等同于

data List a = Empty | (:-:) a (List a)

从语义上讲，使用(:-:)或Cons之间没有区别，但阅读起来要好得多

1 :-: 2 :-: 3 :-: 4 :-: Empty

比任何一个

Cons 1 (Cons 2 (Cons 3 (Cons 4 Empty)))

要么

1 `Cons` (2 `Cons` (3 `Cons` (4 `Cons` Empty)))