haskell - Data.FixedList源代码中的 `Cons`是什么？

Question

在 Data.FixedList 的源代码中，我找到了以下定义:

data FixedList f =>
  Cons f a = (:.) {
    head :: a,
    tail :: (f a)
  }  deriving (Eq, Ord)

作为 Haskell 的新手，很难弄清楚这里发生了什么。我理解诸如 data TypeName = TypeName { a::Int, b::Int} deriving (Show) 或 data TypeName = TypeA | 之类的语法TypeB，但上面的代码超出了我的理解范围。任何文档/或演练将不胜感激!

Answer 1

首先，在使用构造函数时，FixedList f => 强制执行 f 是 FixedList 的约束。我不确定为什么在这里使用它。一般是advised against .

在 Haskell 中，您可以使用以 : 开头的符号创建中缀数据构造函数。在库中，构造函数放在括号 (:.) 中，因此可以与记录语法一起使用。如果没有记录语法，它看起来像这样:

data Cons f a = a :. f a

模式匹配与列表非常相似。这是一个使用它的简单函数:

mapHead :: FixedList f => (a -> a) -> Cons f a -> Cons f a
mapHead f (a :. as) = f a :. as

这是一个不使用中缀构造函数的定义。

data Cons f a = Cons
  { head :: a
  , tail :: f a
  }