lambda - 在 Scheme 中消除 lambda？

Question

我需要为我的学校作业消除这个 Scheme lambda 构造。

有什么想法可以实现吗？

(define (foo x)
(letrec
  ((h 
    (lambda (y z)
      (cond
        ((null? y) 'undefined)
        ((null? (cdr y)) (car z))
        (else (h (cddr y) (cdr z)))
        ))))
  (h x x))
)

Answer 1

好吧，您可以用内部定义替换 letrec 中的 lambda 表达式:

(define (foo x)
  (define (h y z)
    (cond
      ((null? y) 'undefined)
      ((null? (cdr y)) (car z))
      (else (h (cddr y) (cdr z)))))
  (h x x))

... 或者您可以将 h 过程提取到 foo 之外，作为辅助过程。无论哪种方式，结果都是一样的。