为什么这两个haskell功能不相同？

Question

我一直在看这些功能：

import Data.Digits (digits)
numberDivider (a,b) = a / b
numberDivider2 (num,denom) = num / denom
                              where
                                a = head $ digits 10 num
                                b = head . tail $ digits 10 denom

我们可以看看这些函数的类型：

λ> :t numberDivider2
numberDivider2 :: (Integral a, Fractional a) => (a, a) -> a
λ> :t numberDivider
numberDivider :: Fractional a => (a, a) -> a

numberDivider会按照您的想法执行操作。 numberDivider2给出：

No instance for (Show a0) arising from a use of ‘print’
The type variable ‘a0’ is ambiguous
Note: there are several potential instances:
  instance Show Double -- Defined in ‘GHC.Float’
  instance Show Float -- Defined in ‘GHC.Float’
  instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
    -- Defined in ‘GHC.Real’
  ...plus 34 others
In a stmt of an interactive GHCi command: print it

用正确的参数调用时（例如（48,98））。 现在我不知道如何制作更具体的东西会导致歧义？ 我觉得我在某种程度上是愚蠢的。 （我也不明白为什么函数需要来自(a,a) -> a因为我认为它会是(a,a) -> b其中a是Integral而b是float或者其他东西。

我已经尝试输入类型注释来强制它使用Float来获得结果。

有人能指出我在这里缺少的东西吗？

Answer 1

这很可能来自于digits的定义，我猜测它将Integrala => a作为其参数之一。 然后，这将Integral的附加约束放在numberDivider2的参数上。 事实证明，没有一种类型是Fractional和Integral的实例。 但是，当您输入数字文字时，它会尝试从Num a => a转换为(Integral a, Fractional a) => a ，并且在GHCi中有一些特殊规则可以尝试查找也使用Show的实例，以便您可以将其打印到屏幕上。 由于不存在此类型，因此会出现错误。

现在，真正的问题似乎是由于对Haskell数字系统的误解。 您不能在所有数字上使用/ ，例如Int s，因为/没有为这些类型定义。 您只能在小数类型上使用/ ，因此使用Fractional类型类。 如果要将Int s或Integer转换为Float或Double以执行浮点除法，可以使用fromIntegral将它们转换为任何Num类型， 例如

 
 
 
  
  a = head $ digits 10 $ fromIntegral num b = head . tail $ digits 10 $ fromIntegral denom
 
  

这应该从函数中删除 Integral约束。

---

在查看digits类型后，我发现这不起作用。 相反，你可能想要类似的东西

numberDivider2 :: (Integral a, Fractional b) => (a, a) -> b
numberDivider2 (num, denom) = fromIntegral num / fromIntegral denom
    where
        a = head $ digits 10 num
        b = head . tail $ digits 10 denom

请注意fromIntegral的位置，它们会在您要执行Fractional运算的位置转换每个Integral值。

Answer 2

现在我不知道如何制作更具体的东西会导致歧义？

它在两种情况下都是模糊的，但在numberDivider的情况下，可以使用Haskell的默认规则来解决歧义。 在这个特定的实例中，这些规则基本上说如果可能有多个数字类型并且其中一个是Integer ，则选择Integer 。 如果不能使用Integer ，但Double是，则选择Double 。 如果两者都不可能，那么模糊性仍然存在。

如果是numberDivider Integer是不可能的，因为Integer不是Fractional的实例，而是Double 。 因此选择Double 。

在numberDivider情况下，两者都不可能，因为根本没有类型同时是Integral和Fractional 。 因此，模棱两可仍然存在。

您可能会争辩说，一组正好0种可能的类型不是模糊的，但根本不可能，因此错误消息应该是不同的，但它也必须考虑可能在其他地方定义的实例。 也就是说，虽然标准库中没有任何类型的Fractional和Integral ，但它们可能在其他地方被定义，所以我们不能排除这种可能性（即使它没有任何意义）。