किस चीज ने लिस्प को खास बना दिया

"अब तक की सबसे बड़ी प्रोग्रामिंग भाषा "
- एलन के, "लिस्प पर"

जब मैकार्थी ने 1950 के दशक के उत्तरार्ध में लिस्प विकसित किया, तो यह मौजूदा भाषाओं से मौलिक रूप से अलग था, जिसमें से सबसे महत्वपूर्ण था फोरट्रान ।

लिस्प ने नौ नए विचारों को लागू किया है:

1. सशर्त । सशर्त वक्तव्य एक अगर-फिर-और निर्माण हैं। अब हम उन्हें प्रदान करने के लिए लेते हैं। इनका आविष्कार मैकार्थी ने लिस्प के विकास के दौरान किया था । (उस समय फोरट्रान के पास केवल गोटो बयान थे जो अंतर्निहित हार्डवेयर पर शाखा निर्देशों से निकटता से संबंधित थे।) मैकार्थी, जबकि अल्गोल समिति पर, अल्गोल में सशर्त बयान दिए, जहां से वे अन्य भाषाओं में फैल गए।

2. फ़ंक्शन प्रकार (एक फ़ंक्शन प्रकार) । लिस्प में, फ़ंक्शंस प्रथम श्रेणी की वस्तुएं हैं - वे एक डेटा प्रकार हैं, जैसे संख्याएं, तार आदि, और एक शाब्दिक प्रतिनिधित्व है, जिन्हें चर में संग्रहीत किया जा सकता है, तर्क के रूप में पारित किया जा सकता है, आदि।

3. पुनरावृत्ति । बेशक, लिस्प से पहले गणितीय अवधारणा के रूप में अस्तित्व में था, लेकिन लिस्प इसका समर्थन करने वाली पहली प्रोग्रामिंग भाषा थी। (यह संभवतः प्रथम श्रेणी की वस्तुओं के रूप में कार्य बनाने में निहित है।)

4. चर की एक नई अवधारणा । लिस्प में, सभी चर कुशल संकेत हैं। मान हैं कि किस प्रकार के हैं, चर नहीं, और असाइन करने या बाँधने वाले चर का अर्थ है कि वे किस ओर इंगित करते हैं, न कि नकल करने वाले बिंदु।

5. कचरा संग्रह ।

6. कार्यक्रम भावों से बने होते हैं (व्यंजक से बने कार्यक्रम) । लिस्प कार्यक्रम अभिव्यक्ति के पेड़ हैं, जिनमें से प्रत्येक एक मूल्य देता है। (कुछ लिस्प अभिव्यक्तियाँ कई मान लौटा सकती हैं।) यह फोरट्रान और कई अन्य सफल भाषाओं के साथ विरोधाभास है जो "भाव" और "कथन" के बीच अंतर करते हैं।

फोरट्रान में इस तरह का अंतर होना स्वाभाविक था क्योंकि भाषा रैखिक रूप से उन्मुख थी (ऐसी भाषा के लिए आश्चर्यजनक नहीं है जिसमें एक पंच कार्ड इनपुट प्रारूप था)। आप नेस्टेड बयान नहीं दे सकते थे। और जब आपको काम करने के लिए गणितीय अभिव्यक्तियों की आवश्यकता होती है, तो मूल्य वापस करने के लिए कुछ और करने के लिए मजबूर करने का कोई मतलब नहीं था, क्योंकि हो सकता है कि कुछ ऐसा नहीं था जो वापसी का इंतजार कर रहा था।

प्रतिबंधों को ब्लॉक-संरचित भाषाओं के आगमन के साथ हटा दिया गया था, लेकिन तब तक पहले ही बहुत देर हो चुकी थी। अभिव्यक्तियों और कथनों के बीच का अंतर पहले से तय किया गया है। यह फोरट्रान से अल्गोल और आगे उनके वंशजों के पास गया।

जब भाषा पूरी तरह से भावों से बनी होती है, तो आप अपनी इच्छानुसार अभिव्यक्ति कर सकते हैं। आप या तो लिख सकते हैं ( आर्क सिंटैक्स का उपयोग करके)

(if foo (= x 1) (= x 2)) 

या

 (= x (if foo 1 2)) 

7. एक प्रतीक प्रकार । वर्ण तार से भिन्न होते हैं, जिस स्थिति में आप बिंदुओं की तुलना करके समानता की जांच कर सकते हैं।

8. पात्रों से पेड़ों का उपयोग करके कोड के लिए एक संकेतन ।

9. पूरी भाषा हमेशा उपलब्ध है । रीड टाइम, कंपाइल टाइम और रन टाइम के बीच कोई स्पष्ट अंतर नहीं है। आप पढ़ते समय कोड को संकलित या चला सकते हैं, या जब आप संकलित करते हैं, या पढ़ते हैं या रन करते हैं, या रनटाइम पर कोड संकलित करते हैं।

पढ़ने के दौरान कोड चलाना उपयोगकर्ताओं को लिस्प सिंटैक्स को पुन: उत्पन्न करने की अनुमति देता है; संकलन समय पर कोड चलाना मैक्रोज़ का आधार है; Emacs जैसे कार्यक्रमों में लिस्प का उपयोग विस्तार भाषा के रूप में करने के लिए रनटाइम संकलन है; और अंत में, रन-टाइम रीडिंग प्रोग्राम्स को एस-एक्सप्रेशंस का उपयोग करके बातचीत करने की अनुमति देता है, एक विचार जो हाल ही में एक्सएमएल में प्रबलित है।

निष्कर्ष

जब लिस्प का आविष्कार किया गया था, तो ये सभी विचार सामान्य प्रोग्रामिंग प्रथाओं से बहुत दूर थे जो 1950 के दशक के अंत में उपलब्ध हार्डवेयर द्वारा निर्धारित किए गए थे।

समय के साथ, लोकप्रिय भाषाओं की सफलता में सन्निहित डिफ़ॉल्ट भाषा, धीरे-धीरे लिस्प की ओर विकसित हुई। अंक 1-5 अब व्यापक हैं। अंक 6 मुख्यधारा में दिखाई देने लगता है। पायथन में, किसी न किसी रूप में, आइटम 7 है, हालांकि कोई उपयुक्त वाक्यविन्यास नहीं है। क्लॉज़ 8, जो (क्लॉज़ 9 के साथ) लिस्प में मैक्रोज़ को संभव बनाता है, अभी भी लिस्प में ही संभव है, शायद इसलिए (क्योंकि) इसके लिए इन कोष्ठकों या किसी चीज़ की आवश्यकता होती है, और (बी) यदि यदि आप इस अंतिम वृद्धि को शक्ति में जोड़ते हैं, तो आप अब एक नई भाषा का आविष्कार करने का दावा नहीं कर सकते हैं, लेकिन केवल लिस्प की एक नई बोली विकसित की है; -)

यद्यपि यह आधुनिक प्रोग्रामर के लिए उपयोगी है, लेकिन लिस्प का वर्णन करना अजीब है कि यह अन्य भाषाओं में उपयोग किए जाने वाले यादृच्छिक ट्रिक से कैसे भिन्न है। शायद यह वह नहीं है जो मैकार्थी सोच रहे थे। लिस्प को फोरट्रान त्रुटियों को ठीक करने के लिए नहीं बनाया गया था; यह गणनाओं को स्वयंसिद्ध करने के प्रयास के उप-उत्पाद के रूप में अधिक दिखाई दिया।