是否可以在 GHC/Haskell 中使用扩展精度（80 位）浮点运算？

Question

标准 Haskell 的 Double 使用 the standard double-precision arithmetic：

data Double 双精度浮点数。希望这种类型在范围和精度上至少与 IEEE 双精度类型相同。

GHC/Haskell 是否也在某处提供 extended precision（80 位）浮点数，也许使用一些外部库？

Answer 1

正如chuff 所指出的，您可能想看看numbers hackage 包。您可以使用cabal install numbers 安装它。这是一个例子：

import Data.Number.CReal -- from numbers

main :: IO ()
main = putStrLn (showCReal 100 (sqrt 2))

-- output: 1.4142135623730950488016887242096980785696718753769480731766797379907324784621070388503875343276415727

正如documentation 所述，showCReal 返回一个字符串，该字符串显示具有给定小数位数的CReal 类型。