在Haskell中学习“：？：”运算符的含义

Question

我正在学习Haskell，我刚在书中看到了这个奇怪的数据结构，看起来像这样：data ListaOrd a = a :?: (ListaOrd a) | Nulo deriving Show。据说这应该代表一个有序列表，但是我认为我并不真正理解它。我的问题是，该代码中“：？：”符号的含义是什么？

Answer 1

我的问题是 :?:

您在此处定义的数据构造函数即:?:运算符。实际上，在GHCi中，您可以查询(:?:)函数的类型：

:t (:?:)
(:?:) :: a -> ListaOrd a -> ListaOrd 

因此，它与使用其他名称完全相同，例如：

data ListaOrd a = Conso a (ListaOrd a) | Nulo deriving Show

但是在这里，我们定义了一个数据构造函数，其名称(:?:)也可以与运算符语法一起使用。实际上，您可能已经使用过此类数据构造函数。例如(:)，一个列表的数据构造函数。