如何在Scheme Lisp中将字符串转换为确切的数字？

Question

例如，我有一个字符串："6119726089.12814713“

如果我使用(string->number "6119726089.12814713") --使用SISC实现，结果是6.119726089128147e9 --在Guile实现中是6119726089.128147，但是我想要一个确切的数字，比如：611972608912814713/100000000而不丢失精度。

我想要一个类似(字符串->确切)之类的函数。

注意:请修复我的非母语英语并删除此邮件。谢谢。

Answer 1

使用(string->number "#e6119726089.12814713")解析确切的数字。这至少适用于球拍和诡计。但是，它可能不能在其他Scheme实现上正确工作；它们可以先解析为不精确，然后再转换。

下面是OP要求的string->exact函数的可移植实现。我已经用一系列输入手动测试了它，但是您应该自己进行测试，以确保它符合您的需要：

(define (string->exact str)
  (define zero (char->integer #\0))
  (let loop ((result #f)
             (factor 1)
             (seen-dot? #f)
             (digits (string->list str)))
    (if (null? digits)
        (and result (/ result factor))
        (let ((cur (car digits))
              (next (cdr digits)))
          (cond ((and (not result) (not seen-dot?) (char=? cur #\-))
                 (loop result (- factor) seen-dot? next))
                ((and (not seen-dot?) (char=? cur #\.))
                 (loop result factor #t next))
                ((char<=? #\0 cur #\9)
                 (loop (+ (* (or result 0) 10) (- (char->integer cur) zero))
                       (if seen-dot? (* factor 10) factor)
                       seen-dot? next))
                (else #f))))))