是什么导致 Haskell 中出现这样的类型错误？

Question

我正在使用 Haskell 来评估值表的简单限制。我定义了以下函数：

f :: (Integral a) => a -> a
f x = div 1 $ subtract 6 x

在 GHCI 中，我 let leftSide = [5.90, 5.91..5.99] 和 let rightSide = [6.10,6.09..6.01]，然后：

GHCI> map f leftSide

这会导致这个错误：

<interactive>:50:5
  No instance for (Integral Double) arising from a use of `f'
  Possible fix: add an instance declaration for (Integral Double)
  In the first argument of `map', namely `f'
  In the expression: map f leftSide
  In an equation for `it': it = map f leftSide

将我的 f 类型声明更改为 (Integral Double a) => a -> a 会使编译器抱怨“Integral”如何应用于太多类型参数。这是怎么回事？

Answer 1

我认为你只是尝试了错误的部门 - 你真的想要(/) 而不是div...

您的问题是 div 需要 Integral 类型（例如 Integer）：

Prelude> :t div
div :: Integral a => a -> a -> a

但随后您将其与Fractional (6.10, ...) 一起使用，通过maping 它覆盖您的leftSide 和rightSide

现在 GHCi 将其默认为 Double - 但 Double 不是 Integral 的实例 - 这正是 Haskell 所抱怨的。

---

你尝试的东西不起作用，我猜你想写 (Integral a, Double a) => ... 但最后（如果它会起作用 - 它不会因为 Double 是类型而不是类型类）它会是就像说f :: Double -> Double 一样——这会让你再次出错（因为Double 没有div）

简而言之：使用(/) 而不是div，它应该可以工作：

f :: Fractional r => r -> r
f x = (1 /) $ subtract 6 x

这是你的第一个例子：

Prelude> let leftSide = [5.90, 5.91..5.99]
Prelude> map f leftSide
[-10.000000000000036,-11.111111111111128
,-12.49999999999999,-14.285714285714228
,-16.66666666666653,-19.999999999999716
,-24.999999999999424,-33.33333333333207
,-49.999999999996625,-99.99999999998437]

---

顺便说一句：如果你使用无点，你可以让这个更短：

f = (1 /) . (6 -)

如果你把它写出来，或者更干净/更易读

f x = 1 / (6 - x)