(lambda lambda lambda) là gì?

Question

Bạn tôi cho tôi thấy điều này và tôi thực sự tò mò tại sao nó hoạt động như thế này. lúc đầu tôi nghĩ rằng đó là sẽ là một lỗi cú pháp, nhưng nó không ... Here're một số thí nghiệm của tôi:

> (lambda lambda lambda) 
#<procedure> 
> ((lambda lambda lambda)) 
'() 
> ((lambda lambda lambda) 1 2 3 4 5 6 7) 
'(1 2 3 4 5 6 7) 
> (lambda lambda foo) 
#<procedure> 
> ((lambda lambda foo)) 
foo: undefined; 
cannot reference an identifier before its definition 
> (lambda lambda 1 2 3 4 5) 
#<procedure> 
> ((lambda lambda 1 2 3 4 5)) 
5 
> (lambda foo lambda) 
. lambda: bad syntax in: lambda 
> (lambda 1 2 3) 
. lambda: bad argument sequence in: 1 
> ((lambda) 1 2 3) 
. lambda: bad syntax in: (lambda) 

Vì vậy, có vẻ như:

1. Trong lambda, lambda thể là arg-ids?
2. Trong lambda, lambda có thể là một hàm tạo danh sách?

Answer 1

Ohhh Tôi hiểu rồi. lambda có thể bị che khuất!

> ((lambda (lambda) (+ 1 lambda)) 7) 
8 

Ngoài ra, cú pháp được đưa ra tại https://docs.racket-lang.org/guide/lambda.html là không hoàn toàn đúng vì ở arg-ids vị trí, một định danh có thể có mặt ở đó! Điều này sẽ liên kết danh sách các đối số với số nhận dạng:

> ((lambda foo foo) 1 2 3 4) 
'(1 2 3 4) 

Các giải thích này!