एलआईएसपी डिफ्यून को इसके पैरामीटर तर्क से पहले उद्धरण की आवश्यकता क्यों नहीं है?

Question

इस समारोह लें:

(defun sum-greater (x y z) 
(> (+ x y) z)) 

यह मेरी समझ है कि लिस्प में एक सूची में पहले तत्व हमेशा एक समारोह के बाद के परमाणुओं/सूचियों पर करने का प्रतिनिधित्व करता है। तो y और z पर किए जाने वाले फ़ंक्शन के रूप में (x y z) में LISP क्यों x का इलाज नहीं करता है। स्पष्ट रूप से यह वांछनीय व्यवहार नहीं होगा, लेकिन यह अपेक्षित व्यवहार होगा।

संभावित रूप से defun परिभाषित करने वाला फ़ंक्शन किसी सूची के मानक LISP मूल्यांकन को ओवरराइड करता है? यदि हां, तो क्या आप इसका विस्तार कर सकते हैं?

धन्यवाद

Answer 1

कॉमन लिस्प कम से कम defun में IIRC एक मैक्रो (HyperSpec), जिसका अर्थ यह अपने तर्कों के लिए किसी भी मूल्यांकन रणनीति को परिभाषित कर सकते है।

Answer 2

आपकी धारणा सही है। Defun आमतौर पर special form या macro

Answer 3

defun विशेष है क्योंकि यह एक मैक्रो है। और चूंकि मैक्रोज़ कार्यान्वयन पर निर्भर हो सकते हैं, इसलिए ब्लैक जादू के सभी प्रकार हुड के नीचे हो सकते हैं।

लिस्प हाइपरस्पेक (सामान्य लिस्प) says, और मैंने उद्धृत किया: "मैक्रो विस्तार समय पर किसी भी तर्क का मूल्यांकन नहीं किया जाता है"।

Answer 4

आप यहाँ लिस्प में एक बुनियादी परिचय डाउनलोड कर सकते हैं:

Common Lisp: A Gentle Introduction to Symbolic Computation, by David S. Touretzky।

लिस्प और विशेष रूप से कॉमन लिस्प कई लिस्प रूप हैं:

• समारोह

• मैक्रो कॉल

• विशेष रूपों

DEFUN एक मैक्रो है कहता है। इस प्रकार मैक्रो परिभाषित करता है कि कौन से भागों का मूल्यांकन किया जाता है और जो नहीं। एएनएसआई कॉमन लिस्प के लिए यह मानक में परिभाषित किया गया है और डेफन मैक्रो द्वारा कार्यान्वित किया गया है।

Answer 5

डिफ्यून एक समारोह नहीं है, लेकिन एक विशेष रूप (या एक से उबाल जाता है), और इनके लिए, मूल्यांकन यांत्रिकी अलग-अलग हैं। इसी प्रकार के उदाहरण होंगे, जहां तर्कों में से एक को मूल्यांकन किए बिना पूरी तरह से त्याग दिया जाता है!