Haskell无法创建TypeClass的实例

Question

我是Haskell的新手，正在尝试创建一个带有实例的类。

我有下面的代码，我试着说: 1)分支可以在它的第一个位置包含任何类型，2)创建一个类线性，它接受线性的东西并返回一个数字3)使分支成为线性的实例，如果分支持有的第一个东西是Num类的一部分。

data Branch a = Branch a Integer deriving (Show, Eq)

class Linear l where
    length :: (Num a) => l -> a

instance (Num a) => Linear (Branch a) where
    length (Branch len _) = len

我收到错误:无法从实例声明所绑定的上下文(Num a)中推导出(a ~ a1) ...

有人知道如何用Haskell来表达我想要表达的意思吗？

Answer 1

您的类定义规定length必须能够返回用户请求的任何Num类型。因此，如果用户想要一个Integer，那么length方法必须给他一个Integer。如果他想要Int或Double，那么length也必须满足他的要求。

但是，您在实例声明中提供的length函数不符合要求。例如，在Branch Integer上调用length时，length将返回一个Integer。即使用户请求，它也不会返回Int或Double。

让代码正常工作的一种方法是使用多参数类型的类来定义带有两个参数的线性类型，其中第二个类型是length应该返回的数值类型。然后，您可以拥有Linear (Branch a) a的一个实例。您可能还想使用Functional Dependencies扩展来使其更易用。也可以使用类型族扩展程序来实现类似的效果，而不是第二个类型参数。

另一种方法是将实例声明更改为需要Integral a而不是Num a，然后使用fromIntegral len作为返回值。这会将存储在Branch中的整型类型转换为用户要求的任何数值类型。当然，需要注意的是，使用非整数数值进行分支时，不会以这种方式成为Linear的实例。