如何在 R7RS 中定义一个返回多个值的过程

Question

TL;DR：如何定义可用作(let-values ((foo bar) (foobar)) ...) 的过程foobar。

---

R7RS 定义了两个过程floor/ 和truncate，计算两个数字相除的商和。我觉得这真的很棘手，因为我只能将这些程序与let-values（或let*-values）一起使用。一个更重要的问题是我无法找到一种方法来定义我自己的返回多个值的过程。

有人有什么想法吗？

注意：

• floor/ 和 truncate/ 的定义在the report 的第 37 页顶部。
• 我没有幸运地成功安装任何符合 R7RS 的解释器或编译器，所以我还没有测试过上述任何想法。如果有需要，我会在有机会时更新这个问题。

Answer 1

你试过values吗？ The report 在第 53 页提到它。

(define (foobar)
  (values 1 2))

(let-values (((foo bar) (foobar)))
  (cons foo bar))