Haskell 类型签名 pi

如何解决Haskell 类型签名 pi

我对 Haskell 和函数式编程非常陌生。

我想用一个程序来近似 pi。我的代码有效，但只有没有类型签名。 然而任务是编写一个适合给定类型签名的列表理解，所以我可能不得不改变我的列表理解。

pi_approx :: Int -> Double

pi_approx n = sqrt (6 * (sum [1 / x^2 | x <- [1..n]])) 

解决方法

这对签名 Int -> Double 不起作用的原因是因为 (*) :: Num a => a -> a -> a 和 sqrt :: Floating a => a -> a 之类的函数要求操作数和结果都具有相同的类型。

这意味着如果 n 是一个 Int，那么 x 中的 x <- [1..n] 也是一个 Int，并且由于 {{ 1}} 是 (^) :: (^) :: (Integral b,Num a) => a -> b -> a，这意味着 (^) 与 x ^ 2 具有相同的类型，因此这也是一个 x。

现在出现的问题是 (/) :: Fractional a => a -> a -> a 需要类型为 Int 类型类的成员，而 Fractional 不是 Int。

我们可以使用 fromIntegral :: (Integral a,Num b) => a -> b 将值从 Fractional 类型类的成员类型转换为 Integral 类型类的成员类型的值。

因此我们可以通过以下方式解决这个问题：

Num

如果 pi_approx :: Int -> Double pi_approx n = sqrt (6 * (sum [1 / fromIntegral (x^2) | x <- [1..n]])) 可以很大，作为 @dfeuer says，在计算平方之前将 x 转换为 double 是有意义的：

x

这会产生：

pi_approx :: Int -> Double
pi_approx n = sqrt (6 * (sum [1 / fromIntegral x^2 | x <- [1..n]]))