haskell - Haskell Num 类和我的类似表演的类之间存在歧义

Question

我正在尝试将我自己的数据通过适当的转换声明为类。我的代码如下所示:

data SomeData =  SInteger Integer | SElse deriving Show

class Some a where
    toSome :: a -> SomeData

instance Some Int where toSome = SInteger . toInteger

main :: IO ()
main = print $ toSome 3

但是 GHC (7.0.3) 生气了并说道:

Ambiguous type variable `a0' in the constraints:
      (Some a0) arising from a use of `toSome'
                at minimal_broken.hs:11:16-21
      (Num a0) arising from the literal `3' at minimal_broken.hs:11:23
    Probable fix: add a type signature that fixes these type variable(s)

显式类型签名(如 3::Int)可以解决该问题，但非常不方便。
标准“Show”工作得很好，并且根据手册，它的声明方式完全相同。

为什么标准 Show 有效，但我的类(class)却无效？我错过了什么吗？

P.S.:显式“默认(Int)”无法解决此问题。

Answer 1

关于重载，你是对的。这有点棘手。首先，您将必须提供类型签名来解决示例中的数字重载:

Ambiguous type variable `a0' in the constraints:
  (Some a0) arising from a use of `toSome' at A.hs:11:16-21
  (Num a0) arising from the literal `3' at A.hs:11:23

正如您所注意到的，这意味着您必须选择特定的解决方案类型，例如 Int。

那么Show是如何工作的呢？借助扩展默认规则的魔力。 Show 很特殊，GHCi 启用了一些特殊的默认规则来帮助“默认”type in arguments of Show to Integer .

您的新类不是扩展默认功能所了解的神奇类之一，因此遗憾的是，您将需要提供类型注释。