Đề án xác định/tốc ký lambda

Question

Trong Đề án, làm cách nào tôi có thể sử dụng thuật toán xác định/lambda cho các biểu thức lambda lồng nhau trong định nghĩa của tôi?

Ví dụ cho các thủ tục sau đây ...

(define add 
    (lambda (num1 num2) 
    (+ num1 num2))) 

Người ta có thể rút ngắn nó như thế này:

(define (add num1 num2) 
    (+ num1 num2)) 

Tuy nhiên, làm thế nào tôi có thể rút ngắn các chức năng sau đây tương tự?

(define makeOperator 
    (lambda (operator) 
    (lambda (num1 num2) 
     (operator num1 num2)))) 

;example useage - equivalent to (* 3 4): 
((makeOperator *) 3 4) 

Answer 1

(define (makeOperator operator) 
    (lambda (num1 num2) 
    (operator num1 num2))) 

Lambda thứ hai không thể được rút ngắn.

Bạn cũng có thể rút ngắn nó thành (define (makeOperator operator) operator), nếu bạn không muốn thực thi hàm trả về sẽ lấy chính xác hai đối số.

Answer 2

Trái ngược với câu trả lời ở trên, thứ hai lambdathể sử dụng viết tắt define ký hiệu:

(define (makeOperator operator) 
    (define (foo num1 num2) 
    (operator num1 num2)) 
    foo) 

Answer 3

Một số triển khai của Đề án - như Guile (thử nghiệm với phiên bản 1.8) và MIT Scheme - cung cấp ký hiệu viết tắt sau:

(define ((foo x) y) (+ x y)) 

(foo 5) 
; => procedure 
((foo 5) 3) 
; => 8 

Tôi tin rằng ký hiệu này được sử dụng khá nhiều trong Structure and Interpretation of Classical Mechanics.