哈斯克尔。加载函数时输入错误但不是内联

Question

我是 Haskell 的新手。我把它输入到 WinGHCi 中，它工作正常：

> let x = 0.5
> let n = 5
> map (\y->(x**y)) [0..n]
[1.0,0.5,0.25,0.125,6.25e-2,3.125e-2]  -- notice it is powers of 1/2 !

但是当我在文件中定义一个简单的函数时：

powersOfx :: (Integral a, Floating b) =>  a -> b -> [b]
powersOfx n x = map (\y->(x**y)) [0..n]

然后输入 :l myFile，我明白了：

 Couldn't match expected type ‘b’ with actual type ‘a’
      ‘a’ is a rigid type variable bound by
        the type signature for:
          powersOfx :: forall a b. (Integral a, Floating b) => a -> b -> [b]

发生了什么事？我做的签名不正确吗？我猜我可能是，因为当我把它注释掉并且 :l myFile 它工作但

:t powersOfx 

我明白了：

powersOfx :: (Floating b, Enum b) => b -> b -> [b]

注意“枚举”而不是“积分”。

我想我可以摆脱类型签名，但我的印象是放置签名是一种很好的做法，我正在尝试解决一个更大的问题，在这里我收到错误报告： Ambiguous type variable `a0' arising from a use of `it'

如果我让这部分工作，我将发布一个单独的问题！

请让我知道我是否会更好地发布到另一个组，或者我是否应该发布更多信息。

-戴夫

Answer 1

map (\y->(x**y)) [0..n] 函数的签名

简而言之：你的签名太宽泛了，可以设计Floating类型使得函数不能被调用。

让我们先分析一下你这里使用的类型：

Prelude> let x = 0.5
Prelude> let n = 5
Prelude> :t map (\y->(x**y)) [0..n]
map (\y->(x**y)) [0..n] :: (Enum b, Floating b) => [b]
Prelude> :t \n x -> map (\y->(x**y)) [0..n]
\n x -> map (\y->(x**y)) [0..n]
  :: (Enum b, Floating b) => b -> b -> [b]

所以我们在这里看到的是输出类型b，实际上必须是两个类型类的实例：Enum 和Floating。这是合乎逻辑的：您使用[0..n]，这意味着您要求Haskell 枚举0 和n 之间的所有元素，但是一个数字本身并不是可枚举的（实际上我们已经想知道Floating 是首先是Enumerable：这里我们跳了一个，但是我们因此省略了两者之间的Floating值，以防我们有一个真正的浮点数，那么枚举甚至是不可能的）。

因此ys 与n 具有相同的类型，并且由于我们使用x 和y（我们写x ** y）执行算术运算，因此这意味着x 和@ 987654344@ 需要具有相同的类型，因为 (**) 具有类型 (**) :: Floating a => a -> a -> a。因此我们可以构造一个函数：

powersOfx :: (Enum b, Floating b) => b -> b -> [b]
powersOfx n x = map (\y->(x**y)) [0..n]

但这是个坏主意。 Floating 通常是我们最好尽量避免的：如果数量很大，我们可能会有各种舍入错误。我们可以使用fromIntegral :: (Integral a, Num b) => a -> b，但是当我们将大的Int 转换为Float 时，这又会导致舍入错误。在这种情况下，类型将是：

powersOfx :: (Enum b, Floating b, Integral a) => a -> b -> [b]
powersOfx n x = map (\y->(x**y)) [0..fromIntegral n]

制作更通用的变体

不过，我们可以通过使用iterate :: (a -> a) -> a -> [a] 和take :: Int -> [a] -> [a]（或genericTake :: Integral i => i -> [a] -> [a]）使函数更加灵活和通用：

import Data.List(genericTake)

powersOfx :: (Integral i, Num n) => i -> n -> [n]
powersOfx n x = genericTake (n+1) (iterate (x*) 1)

这会产生：

Prelude Data.List> f 5 0.5
[1.0,0.5,0.25,0.125,6.25e-2,3.125e-2]