不明白这个集合 class 语法

Question

class Collection c where
  empty :: c key value
  singleton :: key -> value -> c key value
  insert
    :: Ord key
    => key -> value -> c key value -> c key value
  lookup :: Ord key => key -> c key value -> Maybe value
  delete :: Ord key => key -> c key value -> c key value
  keys :: c key value -> [key]
  values :: c key value -> [value]
  toList :: c key value -> [(key, value)]
  fromList :: Ord key => [(key,value)] -> c key value

这与我读过的有关类型类的内容或我习惯的语法不同。 我不明白c key value代表什么。 另外，空应该是什么？ 它不像 function。感谢并感谢任何帮助，我是 haskell 的新手，这让我感到困惑

Answer 1

类型参数c在这里不会与“具体”类型统一，而是与仍然需要两个参数的类型构造函数统一。

一个简单的集合可以是：

data ListMap   = ListMap [(a, b)]

然后我们定义一个Collection的实例：

instance Collection ListMap where
    empty = ListMap []

    -- …

实际上，这里的empty类型为c key value ，因此 ListMap key ListMap key value是一个具体类型。

在这种情况下，像fromList:: Ord key => [(key,value)] -> c key value这样的 function 将导致fromList:: Ord key => [(key,value)] -> ListMap key value 。

Answer 2

您可以从key和value的使用方式推断它们必须是类型（类似*的事物）。 因此，根据c的使用方式，您可以推断它一定是某种* -> * -> * ：它应用于两种类型以产生另一种类型。

使用KindSignatures扩展，我们可以使这一点更加明确。 你可以写

{-# LANGUAGE KindSignatures #-}

class Collection (c :: * -> * -> *) where
    empty :: c key value
    -- etc.