Question

我想在Haskell中使用有理数类型而不是派系类型（或在C中使用浮点/双精度类型）

我得到以下结果：

8/(3-8/3)=23.999...
8/(3-8/3)/=24

我知道Data.Ratio。但是，它支持对Data.Ratio的（+）（-）（*）（/）操作：

1%3+3%3 == 4 % 3
8/(3-8%3) == 24 % 1

我已在球拍中签入

(= (/ 8 (- 3 (/ 8 3))) 24)
#t

在Haskell中确保8/(3-8/3) == 24的正确方法是什么？

Answer 1

在链中的某处使用显式类型。它将强制使用正确的类型执行整个计算。

import Data.Ratio

main = do
    print $ 8/(3-8/3) == 24
    print $ 8/(3-8/3) == (24 :: Rational)

打印

False
True

Answer 2

Data.Ratio.numerator和Data.Ratio.denominator返回分子以简化形式表示比率的分母，因此比较分母与1来检查比率是否为整数是安全的。

import Data.Ratio

eq :: (Num a, Eq a) => Ratio a -> a -> Bool
eq r i = d == 1 && n == i 
  where
    n = numerator r
    d = denominator r

main = print $ (8/(3-8%3)) `eq` 24

小数类型在Haskell中

2 个答案: