Schema definieren/Lambda-Kurzschreibweise

Question

Wie kann ich in Scheme die Define/Lambda-Kurzschrift für verschachtelte Lambda-Ausdrücke innerhalb meiner Definition verwenden?

Zum Beispiel mit dem folgenden Verfahren ...

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

Man kann es so weit verkürzen:

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

Doch wie kann ich die folgende Funktion in ähnlicher Weise zu verkürzen?

(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))) 

Der zweite Lambda verkürzt werden kann.

Nun können Sie es auf (define (makeOperator operator) operator) verkürzen, wenn Sie nicht erzwingen möchten, dass die zurückgegebene Funktion genau zwei Argumente dauert.

Answer 2

Im Gegensatz zu der oben Antwort, die zweite lambdakann verwenden die Kurz define Notation:

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

Answer 3

Einige Implementierungen von Scheme - wie Guile (mit Version getestet 1.8) und MIT Scheme - bieten die Kurzschreibweise folgende:

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

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

ich glaube, diese Schreibweise ziemlich viel in Structure and Interpretation of Classical Mechanics verwendet wird.