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

Question

TL;DR:如何定义过程foobar，它可以用作(let-values ((foo bar) (foobar)) ...)。

R7RS定义了两个过程floor/和truncate，它们计算两个被除数的商和余数。我发现这非常棘手，因为我只能在let-values (或let*-values)中使用这些过程。一个更重要的问题是，我无法找到一种方法来定义返回多个值的自己的过程。

有人有什么想法吗？

注意：

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

Answer 1

你试过values了吗？这份报告在第53页上提到过。

(define (foobar)
  (values 1 2))

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