方案说明(构造)

Question

谁能解释一下原因:

(define a (lambda() (cons a #f)))

(car (a)) ==> procedure

((car (a))) ==> (procedure . #f)

我想我不明白。谢谢

Answer 1

这个

(define a (lambda() (cons a #f)))

定义一个过程，a ，调用时将返回对

(<the procedure a> . #f)

即谁的car是过程本身，它的 cdr是#f .

换句话说，评估的结果

(a)

是调用过程a的结果没有参数，即根据 a 的定义以上，

(<the procedure a> . #f)

因此，

(car (a))

是<the procedure a> (因为它的意思是“用计算 car 的结果调用 (a) ”)

当你添加另一对括号时

((car (a)))

您正在调用该过程，因为它是过程 a - 返回与 (a) 相同的结果,

 (<the procedure a> . #f)