Czy w GHC/Haskell można zastosować arytmetykę zmiennoprzecinkową z dużą precyzją (80 bitów)?

Question

Standardowa Haskell'a Double wykorzystuje the standard double-precision arithmetic:

data Double podwójnej precyzji liczb zmiennoprzecinkowych. Pożądane jest, aby ten typ był co najmniej równy w zakresie i precyzji dla typu podwójnej precyzji IEEE.

Czy GHC/Haskell oferuje gdzieś także liczby zmiennoprzecinkowe extended precision (80-bit), być może przy użyciu biblioteki zewnętrznej?

Answer 1

Jak zauważył chuff, możesz chcieć rzucić okiem na pakiet numbers w hakowaniu. Możesz zainstalować go pod numerem cabal install numbers. Oto przykład:

import Data.Number.CReal -- from numbers 

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

-- output: 1.4142135623730950488016887242096980785696718753769480731766797379907324784621070388503875343276415727 

Jak documentation stanach showCReal zwraca ciąg przedstawiający daną liczbę typu CReal z danej liczby miejsc po przecinku.