消除 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 之外，作为辅助过程。无论哪种方式，结果都是一样的。