如何编写一个具有两个模板参数的类，其中一个是另一个的列表/数组？

Question

我想用 Clean（一种与 Haskell 非常相似的语言）解决这个问题：

有一个class Node t，有两个实例：instance Node EdgeList 和instance Node Adjacency。我想创建一个 Graph，它是一个数组或节点列表。

Graph的定义是：

class Graph t1 t2 | Node t2 where
    resetGraph  :: (t1 t2) -> (t1 t2)
    graphSize   :: (t1 t2) -> Int
    ...

我想编写实例。一个带数组，一个带列表。首先，我尝试使用列表，但出现错误：t2 not defined

instance Graph [t1] t2 | t2 t1 where
    (resetGraph) :: [t1] -> [t1]
    (resetGraph) x = []
    ...

例如这样调用它：resetGraph listAdj 其中 listAdj 是 Adjacency 节点的列表

如果我只写：instance Graph [tt] tt，则会收到此错误：Error: this type variable occurs more than once in an instance type。

Answer 1

这里首先要了解的是，当你写的时候

class Graph l t | Node t where
    resetGraph :: (l t) -> l t

你给l 善良 *->*。种类是类型的抽象。粗略地说，kind * 意味着你有一个“完整”的类型。例如，Int、[Char]、a -> String 都是类似的*。当一个类型仍然“需要一个参数”时，它有一种*->*。例如，如果你有:: Maybe a = Just a | Nothing，那么Maybe Int 是一种*，但只是Maybe 是一种*->*，因为它仍然需要一个参数。因此，在编写resetGraph :: (l t) -> l t 时，编译器会识别出t 是l 的一个参数，所以给resetGraph 和* 类似的唯一方法就是给@987654341 @kind *->*（和tkind *）。

您需要知道的第二件事是[Char]、(Int,Int) 和a -> Real 等类型也都写为前缀：[] Char、(,) Int Int、(->) a Real。您可以将[] 与Maybe 进行比较：它仍然需要一个参数（此处为Char）才能成为一个完整的类型。因此，类型 [] 具有类型*->*。类似地，(,) 有一种类型*->*->*，因为它仍然需要两个类型才能完成，(->) 也是如此。 （注意：这在language report 的第 4.5 节中有记录）。

结合这两者，你应该写：

instance Graph [] Adjacency where
    ...

然后resetGraph的类型解析为([] Adjacency) -> [] Adjacency，与[Adjacency] -> [Adjacency]相同。

对于数组，前缀表示法是 {} Adjacency 代表 {Adjacency}。

顺便说一句：在StdEnv 中使用length 类完成了类似的操作：

// StdOverloaded.dcl
class length m :: !(m a) -> Int

// StdList.icl
instance length [] where ...