लिस्प को क्या खास बनाता है?

«अब तक बनाई गई सबसे महान प्रोग्रामिंग भाषा«
- एलन के, "लिस्प पर"

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

लिस्प ने नौ नए विचार पेश किए:

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

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

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

4. चरों की एक नई अवधारणा. लिस्प में, सभी चर प्रभावी सूचक हैं। मान वे हैं जो प्रकार के होते हैं, वेरिएबल नहीं, और वेरिएबल को निर्दिष्ट या बाइंड करने का मतलब पॉइंटर्स की प्रतिलिपि बनाना है, न कि वे जो इंगित करते हैं।

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

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

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

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

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

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

या

(= x (if foo 1 2))

7. एक प्रतीक प्रकार. वर्ण स्ट्रिंग से भिन्न होते हैं, ऐसी स्थिति में आप पॉइंटर्स की तुलना करके समानता की जांच कर सकते हैं।

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

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

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

निष्कर्ष

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

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

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

स्रोत: www.habr.com