haskell ::. 是什么意思？

Question

由点组成的符号 (:.)。

摘自这里:

-- The custom list type
data List t =
  Nil
  | t :. List t
  deriving (Eq, Ord)

-- Right-associative
infixr 5 :.

取自这里:https://github.com/tonymorris/fp-course

Answer 1

简而言之:代码构造了列表的替代版本，(:.) 是两个数据构造函数之一。

嗯，它是 List t 数据类型的数据构造函数。例如标准列表[a]有两个数据构造函数[]和(:)，这里代码引入了一个新的数据构造函数(:.)，但它的行为方式与标准列表 (:) 的“缺​​点”完全相同。

所以代码将其定义为:

data List t = Nil | (:.) t (List t) deriving (Eq, Ord)

与任何数据构造函数一样，我们可以对其进行模式匹配、构造新列表等。