方案问题（使用函数作为参数）

Question

我是一名计划新手，正在努力理解我的作业。 我之前创建了一个名为 duplicate 的函数，它看起来像这样：

( DEFINE ( duplicate lis )
          (IF (NULL? lis) '())
          ((CONS (CAR lis) (CONS (CAR lis) (duplicate (CDR lis))))
         ))

典型的 i/o 是 i: (duplicate '(1 2 3 4)) o: (1 1 2 2 3 3 4 4)，所以基本上它会复制列表中的所有内容。 继续： 现在我应该创建一个名为 comp 的函数。 它应该是这样构建的：

(DEFINE (comp f g) (lambda (x) (f (g (x))))

我可以在其中输入 '(1 2 3 4) 它会返回 (1 1 4 4 9 9 16 16)

所以 f = duplicate 和 g = 拉姆达。 我知道 lambda 可能看起来像这样：

(lambda (x) (* x x))

但这就是问题开始的地方，我已经在这上面花了几个小时，正如你所看到的，没有取得太大进展。

任何帮助将不胜感激。 此致。

Answer 1

使用map：

> (map (lambda (x) (* x x)) (duplicate '(1 2 3 4)))
=> (1 1 4 4 9 9 16 16)

或者修改duplicate以将过程作为其第二个参数并将其应用于列表的每个元素：

(define (duplicate lst p)
  (if (null? lst) ()
      (append (list (p (car lst)) (p (car lst))) (duplicate (cdr lst) p))))

> (duplicate '(1 2 3 4) (lambda (x) (* x x)))
=> (1 1 4 4 9 9 16 16)

Answer 2

一种方法如下：

(define (comp f g) (lambda (x) (f (g x))))
(define (square x) (* x x))
(define (dup x) (list x x))
(define (duplicate-square lst)
  (foldr append '() (map (comp dup square) lst)))

现在在 repl 中，执行以下操作：

> (duplicate-square '(1 2 3 4))
'(1 1 4 4 9 9 16 16)