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)

和任何数据构造函数一样，我们可以对它进行模式匹配，构建新的列表等等。