Haskell中Collection类型类语法疑问求助

1. 理解c key value的含义 #

Haskell的类型类可以定义在多参数类型构造器上——这里的Collection c里的c不是一个具体类型（比如Int或者Map String Int），而是一个需要两个类型参数的类型构造器。

举个实际例子，标准库中的Data.Map.Map就是这类构造器：它接受key和value两个类型参数，生成具体的映射类型Map key value。当我们让Map成为Collection的实例时，c就对应Map，c key value就是Map key value。

简单来说，c是“集合的模板”，key和value是这个模板需要填充的类型参数，三者组合起来就是一个能存储键值对的具体集合类型。

2. 为什么empty看起来不像函数？ #

empty确实不是函数，它是一个多态值，类型为c key value。它的作用是为每个集合类型提供统一的“空实例”：

• 对于Map来说，empty就是Data.Map.empty，类型是Map k v，直接是一个空映射，不需要传入任何参数；
• 如果用列表实现集合，empty可能就是[]，类型为[(key, value)]（只需把列表适配成Collection实例即可）。

你之前可能习惯了类型类成员是函数，但Haskell类型类的成员可以是任意值——只要类型符合定义就行。empty的存在就是为所有集合类型提供一个统一的“空集合”入口。

实例辅助理解 #

比如我们给Map编写简化版的Collection实例：

import qualified Data.Map as Map

instance Collection Map where
  empty = Map.empty
  singleton k v = Map.singleton k v
  insert k v = Map.insert k v
  lookup k = Map.lookup k
  -- 其余方法可使用默认实现或直接调用Map的对应函数

这里empty直接对应Map.empty，是一个具体的空映射值，完全符合c key value（即Map key value）的类型定义。

内容的提问来源于stack exchange，提问作者Dudu Dudu