方案递归函数中的外模式参数

Question

读者注意：对函数式编程一无所知，对 Scheme 更是一无所知。

我在 Scheme 中有一个递归函数。在非基本情况部分，函数调用自身两次，在 if 语句中比较两次调用。我需要返回更大的结果。所以...我目前正在做的是：

(if (> (recursive-call a b-1) (recursive-call a-1 b))
    (recursive-call a b-1)
    (recursive-call a-1 b))

这显然需要我进行 3 次递归调用而不是 2 次。

有没有办法从 if 语句中引用递归调用的值？我不允许定义额外的函数或使用 let。我认为它与 out-mode 参数有关，但不知道如何使用、分配或访问 out-mode 参数的值。当我问教授时，我被指出函数式语言中的参数传递方法以及函数返回的一般过程。至少没有帮助。我不能发布完整的代码，因为它是一个班级的作业。这是否足以让有人指出我正确的方向？

注意：我们允许的唯一构造是 null?、car、cdr、else、lcm、+、>、if、递归函数的参数（只能是列表和数字）、整数文字和插入语。不幸的是，没有使用 max、define 或 let。

Answer 1

注意：b-1 和 a-1 是变量的名称。如果你想要减法，你会使用(- a 1)。我将在我的回答中使用(- a 1)，但如果它真的是一个变量，你可以替换它。

不受限制地执行此特定逻辑的明显方法是：

;; return the largest of the two
(max (recursive-call a (- b 1)) 
     (recursive-call (- a 1) b))

标准的 Scheme 方法是使用 let 在变量中绑定您多次使用的值，这样您就不会做超出您需要的计算：

;; cache computed values in local bindings
(let ((a (recursive-call a (- b 1)))
      (b (recursive-call (- a 1) b)))
  (if (> a b) a b))

由于您被限制不使用其中任何一个，您可以将let 版本重写为其原始形式。 let 可以这样重写：

(let ((ba va) (bb vb))
  ...)

; ===
((lambda (ba bb)
   ...)
 va
 vb)

我想你应该可以从这里弄清楚。