Emacs Lisp: (फ़ंक्शन (लैम्ब्डा ...)) और (लैम्ब्डा ...) के बीच अंतर?

Question

क्या

(function (lambda ...)) 

और

(lambda ...) 

और

'(lambda ...) 

के बीच का अंतर है?

ऐसा लगता है कि कई मामलों में तीन अंतर-परिवर्तनीय हैं।

Answer 1

वे काफी अंतर-परिवर्तनीय हैं। जवाब यह है कि function लैम्ब्डा को बाइट संकलित करने में सक्षम बनाता है, जबकि अन्य दो (और समकक्ष नहीं होते हैं)। नोट: इसका मतलब यह नहीं है कि function वास्तव में बाइट लैम्ब्डा संकलित करता है।

कोई इसे कैसे समझ सकता है? एक छोटे Emacs lisp आत्मनिरीक्षण कुछ सुराग प्रदान करता है। प्रारंभ करने के लिए: सी एच एफ समारोह आरईटी:

समारोह 'सी स्रोत कोड' में एक विशेष रूप है।

(समारोह आर्ग)

की तरह 'बोली', लेकिन वस्तुओं जो कार्य हैं के लिए पसंद किया। बाइट संकलन में, 'फ़ंक्शन' संकलित होने के लिए तर्क का कारण बनता है। 'उद्धरण' ऐसा नहीं कर सकता है।

ठीक है, ताकि (function (lambda ...)) और '(lambda ...) के बीच का अंतर है, पहली बाइट संकलक है कि यह सुरक्षित रूप से अभिव्यक्ति संकलन कर सकते हैं बताता है। 'जबकि एड भाव जरूरी संकलित नहीं किया जा सकता (वे सिर्फ नंबरों की सूची हो सकता है के लिए

क्या सिर्फ नंगे (lambda ...)Ch च लैम्ब्डा आरईटी शो के बारे में:।?

लैम्ब्डा है `subr.el 'में एक लिस्प मैक्रो।

(लैम्ब्डा args [docstring] [इंटरैक्टिव] शरीर)

वापसी एक लैम्ब्डा अभिव्यक्ति। एक फॉर्म का कॉल (लैम्ब्डा तर्क डॉकस्ट्रिंग इंटरैक्टिव बॉडी) स्वयं उद्धरण है; लैम्ब्डा अभिव्यक्ति का मूल्यांकन करने का नतीजा अभिव्यक्ति है। लैम्ब्डा अभिव्यक्ति तो , एक समारोह, यानी, के रूप में जमा एक प्रतीक के समारोह मूल्य के रूप में इलाज किया जा सकता 'funcall' या 'mapcar', आदि

इसलिए, (lambda ...) और '(lambda ...) हैं पारित कर दिया बराबर।

इसके अलावा, #'(lambda ...) नोटेशन है, जो (function (lambda ...)) के लिए वाक्य रचनात्मक चीनी है।

Emacs lisp में फ़ंक्शंस के बारे में अधिक जानकारी के लिए, Functions info pages पढ़ें।

बस इस सब की जाँच करने के लिए, आप * खरोंच * बफर में निम्न लिखें और मूल्यांकन कर सकते हैं भाव:

(caddr '(lambda (x) (+ x x))) 
(+ x x) 

(caddr (lambda (x) (+ x x))) 
(+ x x) 

(caddr (function (lambda (x) (+ x x)))) 
(+ x x) 

(equal '(lambda (x) (+ x x)) 
     (function (lambda (x) (+ x x)))) 
t 

(equal '(lambda (x) (+ x x)) 
     (lambda (x) (+ x x))) 
t 

तो, लैम्ब्डा का उपयोग कर बस सूचियों कि के रूप में इस्तेमाल किया जा सकता का निर्माण के सभी तीन वेरिएंट कार्य (जिनमें से एक बाइट संकलित हो सकता है)।

Answer 2

अच्छी तरह से (quote (lambda...)) और (lambda...) बराबर नहीं हैं (जब बाइट संकलन)। उद्धृत lambdas बाइट संकलित नहीं हैं जबकि बाकी सब कुछ है।

उदाहरण के लिए:

(defun foo (a) 
    (byte-code-function-p a)) 

(defun bar() 
    (foo '(lambda() (ignore 'me)))) 

(defun bar2() 
    (foo (lambda() (ignore 'me)))) 

(defun bar3() 
    (foo (function (lambda() (ignore 'me))))) 

(defun bar4() 
    (foo #'(lambda() (ignore 'me)))) 

(byte-compile 'bar) 
(byte-compile 'bar2) 
(byte-compile 'bar3) 
(byte-compile 'bar4) 

(bar) ; -> nil 

(bar2) ; -> t 
(bar3) ; -> t 
(bar4) ; -> t 

आप आम तौर पर एक लैम्ब्डा जब तक समारोह आप लैम्ब्डा के लिए यह सिर्फ funcall से इसके साथ कुछ और कर रहा है पारित करने के लिए जा रहे हैं उद्धृत करने के लिए नहीं करना चाहती।