योजना परिभाषित/लैम्ब्डा शॉर्टेंड

Question

योजना में, मैं परिभाषित/लैम्ब्डा शॉर्टैंड का उपयोग कैसे परिभाषित कर सकता हूं?

उदाहरण के लिए निम्नलिखित प्रक्रिया को देखते हुए ...

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

एक यह करने के लिए इसे छोटा कर सकते हैं:

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

हालांकि, कैसे मैं निम्नलिखित जैसे काम करते छोटा कर सकते हैं?

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

दूसरा लैम्ब्डा छोटा नहीं किया जा सकता।

अच्छी तरह से आप (define (makeOperator operator) operator) पर इसे छोटा कर सकते हैं, अगर आप यह लागू नहीं करना चाहते हैं कि लौटा कार्य वास्तव में दो तर्क लेता है।

Answer 2

ऊपर जवाब के विपरीत, दूसरा lambda उपयोग कर सकते हैं आशुलिपि define अंकन:

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

Answer 3

योजना के कुछ कार्यान्वयन - छल की तरह और एमआईटी योजना (संस्करण 1.8 के साथ परीक्षण) - प्रदान आशुलिपि संकेतन निम्नलिखित:

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

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

मेरा मानना ​​है कि इस अंकन Structure and Interpretation of Classical Mechanics में काफी एक बहुत कुछ किया जाता है।