Haskell 除数

Question

我遇到了一个问题，我想了解更多信息以及如何避免。我有这段代码

len :: (Num r ) => [a] -> r
len [] = 0
len xs = 1 + len ( tail xs )

avg :: (Num t) => [t] -> Double
avg xs = ( sum xs ) / ( len xs )

，它呈现以下错误

len.hs:6:9:
    Couldn't match expected type `Double' against inferred type `t'
      `t' is a rigid type variable bound by
          the type signature for `avg' at len.hs:5:12
    In the expression: (sum xs) / (len xs)
    In the definition of `avg': avg xs = (sum xs) / (len xs)

现在，我知道这个错误（感谢 irc.freenode.net#haskell）是除法函数的结果

(/) :: (Fractional a) => a -> a -> a

但是，我不知道该怎么办。我的 avg 函数签名应该与除法运算符的怪癖无关（需要 Fractional 类型类）。因此，我认为克服这个问题的正确方法是转换为实现分数类型的类型，但我不知道如何实现，或者即使这是正确的？有什么想法吗？

Answer 1

我的 avg 函数签名应该与除法运算符的怪癖无关

为什么会这样？如果您想计算一堆整数的平均值，则必须在某个时刻进行除法，因此您必须将它们从整数转换为您选择的支持除法的类型。仔细观察 Num 类（ghci 中的 :i Num）揭示了 avg 类型的一个问题：Num 没有足够的方法——基本上足以进行加法、乘法和减法。根本无法保证我提供给 avg 的数字可以转换为 Double。

如果您输入一个无类型函数来计算平均值，Haskell 会以最通用的类​​型进行响应：

Prelude List> :type \x -> sum x / genericLength x
\x -> sum x / genericLength x :: (Fractional a) => [a] -> a

这就是 avg 的正确类型。

您可能会注意到 avg [1,2,3 :: Integer] 给出类型错误。您可以通过首先将参数传递给 toRational 或 fromIntegral 来解决这个问题，它们使用 Real 和 Integral 实例分别为Integer。

---

关于表达式 sum [1,2,3] / len [1,2,3]：确实，像 1 这样的文字数字具有 类型数字a => a，它会在任何类型上调用 fromInteger，但像 1/2 这样的表达式具有更具体的 Fractional a 类型=> a，如果您询问该表达式的类型而不是打印出来，您就可以看到它。

ghci 中的 :set -Wall 可能会有所帮助，每当为您选择默认类型时，它都会打开大量警告，提示最通用的类​​型可能不再正确。

Answer 2

您过度限制 avg 的类型。使用更通用的版本， avg :: (Fractional a) => [一]->一个

Answer 3

hhm 真正的问题是，如果它是整数类型，您想将其转换为小数类型，但如果它是小数类型，您想不理会它。

试试这个

fromRational ((sum xs) % (leng xs))

Answer 4

我遇到过这个问题。我所做的最好的事情是有两个求平均值的函数：一个用于积分，一个用于分数：

avgInt :: (Integral i, Fractional f) => [i] -> f
avgInt xs = fromIntegral (sum xs) / fromIntegral (length xs)

avgFrac :: (Fractional f) => [f] -> f
avgFrac xs = sum xs / fromIntegral (length xs)