Haskell-将整数列表映射到其平方根

如何解决Haskell-将整数列表映射到其平方根

我创建了一个小函数，将整数列表映射到其平方根。代码本身很简单：

f x = map sqrt [1..x]

使用默认类型推断，它可以成功加载，但是该函数可以接受Floating个typeclass值，而我只是希望它接受Integer。因此，我在其顶部添加了类型注释。

f :: (Integral a,Floating b) => a -> [b]
f x = map sqrt [1..x]

出乎我的意料，它无法加载。 GHCi的REPL引发错误：

1.hs:48:7: error:
    • Couldn't match type ‘a’ with ‘b’
      ‘a’ is a rigid type variable bound by
        the type signature for:
          f :: forall a b. (Integral a,Floating b) => a -> [b]
        at 1.hs:47:1-41
      ‘b’ is a rigid type variable bound by
        the type signature for:
          f :: forall a b. (Integral a,Floating b) => a -> [b]
        at 1.hs:47:1-41
      Expected type: [b]
        Actual type: [a]
    • In the expression: map sqrt [1 .. x]
      In an equation for ‘f’: f x = map sqrt [1 .. x]
    • Relevant bindings include
        x :: a (bound at 1.hs:48:3)
        f :: a -> [b] (bound at 1.hs:48:1)
   |
48 | f x = map sqrt [1..x]
   |       ^^

我完全迷失了方向，不知道错误在说什么。似乎抱怨结果类型应该是[a]而不是[b]。但这是荒谬的，因为a是类型类Integral的成员，并且该函数肯定会返回Floating数字的列表。只是没有任何意义。

任何人都可以解释错误发生的原因以及如何解决吗？

解决方法

问题在于sqrt :: Floating a => a -> a将始终将数字映射到相同类型的数字，请注意类型签名中的a -> a。它还要求数字必须是Floating的实例，尽管从技术上讲，您可以将类型设为Integral和Floating的实例，但这没有多大意义。

如果您写[ 1 .. x ]，则会生成与x相同类型的项目列表。因此，如果x为Integral a => a，则[ 1 .. x ]的类型为Integral a => [a]（和相同的a）。但是，您的类型签名表明，对于每种Integral类型a，您都可以生成Floating类型b的任何元素列表。

您可以使用fromIntegral :: (Integral a,Num b) => a -> b将整数转换为另一种数字，因此可以这样写：

f :: (Integral a,Floating b) => a -> [b]
f x = map (sqrt . fromIntegral) [1..x]