scheme - 这如何定义工作？

Question

我有这段方案代码:

(define (x . y) y)
(x 1 2 3)

我知道它相当于:

'(1 2 3)

但我不明白为什么。

第一行代码做什么？

谢谢你。

Answer 1

第一行(define (x . y) y)相当于 (define x (lambda y y)) ，根据 5.2 Definitions (最后一句)。

和 (lambda y y)是一个程序；调用时，所有参数将存储在新分配的列表中。例如list可以定义为 (define list (lambda xs xs)) . (参见 4.1.4 Procedures 形式参数的第二种形式。)

所以(x 1 2 3)相当于 (list 1 2 3) .