haskell - 双数和有理数的问题

Question

我正在编写一个函数，其中我需要读取包含 float 的字符串并将其返回到 Rational。但是当我这样做时toRational (read input :: Double) ，它不会变成例如:0.9进入9 % 10正如预期的那样，但是 81.....% 9007...谢谢

Answer 1

这是正确的行为。在 Haskell、C 或 Java 中，数字 0.9 不能表示为 Double。这是因为 Double 和 Float 使用基数 2:它们只能准确表示二进分数的某个子集。

要获得所需的行为，请导入 Numeric 模块并使用 readFloat 函数。该接口(interface)相当不稳定(它使用 ReadS 类型)，因此您必须稍微包装一下它。使用方法如下:

import Numeric
myReadFloat :: String -> Rational -- type signature is necessary here
myReadFloat str =
    case readFloat str of
      ((n, []):_) -> n
      _ -> error "Invalid number"

结果:

> myReadFloat "0.9"
9 % 10