方案，具有恒定值的递归

Question

我之前问过letrec和尾递归， 我从答案中对 letrec 和尾递归有了更好的理解 我的最终目标是，通过这些，实现方程式的方案代码： 例如y(i) = x(i) + 2 ，其中 x(i), y(i) 是列表，因此这些将与 i 尾递归。 现在 x, y, i 将在尾递归例程中，因此这部分代码将是： 但是 5 总是相同的（不是递归的），但是你可以选择这个常数作为输入参数，比如说“常数”

如此预期的输出，例如当你尝试这个时：(equationFunc 0 3 1 (lambda (x) x) 5)

它应该像这样工作...((0 1 2) (0+5 1+5 2+5))

最终预期输出：((0 1 2) (5 6 7))

因为它会计算方程 y(i) = x(i) + 5（i 边界从 0 到 2 - 所以 x(i) , y(i) 必须是递归的）但不是 "+ 5 ”。我只是想不出如何处理函数实现尾递归例程中的“+5”。

我认为这样的代码..但是是的，它不起作用...

(define equationFunc
 (lambda (start end res func constant)
  (letrec (helper
         (lambda (x i y constant)
           (if (>= i start)
               (helper (cons i (+ x constant))
                       (- i res)
                       (cons (func i) y)
                       0)
               (cons x (cons y '()))
            )              
          )
         )
   (helper '() end '() 0)          
  )))

谁能给点建议？

Answer 1

不清楚应该如何构建“方程式”。我的最佳猜测是：

(define equationFunc
  (lambda (start end res func constant)
    (letrec ((helper
              (lambda (x i y)
                (if (>= i start)
                    (helper (cons i x)
                            (- i res)
                            (cons (+ (func i) constant) y))
                    (list x y)))))
      (helper '() (- end 1) '()))))

请注意，我们不必传递 start、end、res、func 和 constant 作为 helper 过程的参数，我们只需要传递保持在每次迭代中发生变化，即：x、y 和i。它适用于问题中显示的示例输入/输出：

(equationFunc 0 3 1 (lambda (x) x) 5)
=> '((0 1 2) (5 6 7))