haskell - (Haskell)除以Integer而不是double的结果

Question

This question already has answers here:

Why it is impossible to divide Integer number in Haskell?

(3个答案)


2年前关闭。




我正在尝试编写一个简单的代码，以使用Haskell获取PI的近似值。但是，似乎该程序预测该除法的结果是一个整数，即使该除法从来都不是精确的(再次是PI)....或至少这就是我的理解:P

这是代码:

divpi :: Integer -> Double
divpi k = (((fatc (6*k)) * ((545140134*k) + 13591409))/((fatc (3*k)) * (pot (fatc k) 3) * (pot (-262537412640768000) k)))

fatc是阶乘(fatc数)，pot是整数乘幂(pot基本指数)

错误消息:

ERROR file:.\haskel.hs:33 - Type error in explicitly typed binding
*** Term           : divpi
*** Type           : Integer -> Integer
*** Does not match : Integer -> Double

如有必要， here是整个代码

最佳答案

在Haskell中，/适用于Fractional类型。但是，您的fatc和pot返回整数。与C不同，Haskell绝不会在任何类型之间进行隐式转换，因此我们需要使用fromInteger从中获取非整数值。

divpi :: Integer -> Double
divpi k = (fromInteger ((fatc (6*k)) * ((545140134*k) + 13591409)) / fromInteger ((fatc (3*k)) * (pot (fatc k) 3) * (pot (-262537412640768000) k)))

另外，作为将来的说明，当您具有类似这样的复杂算法时，请考虑使用 where和 let创建一些中间变量。除了使事情更具可读性之外，您还将获得更好的错误消息。

关于haskell - (Haskell)除以Integer而不是double的结果，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/49440489/

上一篇：c# - 自定义Http状态代码，不显示错误消息(IHttpActionResult)

下一篇：syntax-error - ModelSim Verilog编译器错误

Answer 1

在Haskell中，/适用于Fractional类型。但是，您的fatc和pot返回整数。与C不同，Haskell绝不会在任何类型之间进行隐式转换，因此我们需要使用fromInteger从中获取非整数值。

divpi :: Integer -> Double
divpi k = (fromInteger ((fatc (6*k)) * ((545140134*k) + 13591409)) / fromInteger ((fatc (3*k)) * (pot (fatc k) 3) * (pot (-262537412640768000) k)))

另外，作为将来的说明，当您具有类似这样的复杂算法时，请考虑使用 where和 let创建一些中间变量。除了使事情更具可读性之外，您还将获得更好的错误消息。