कैसे लिस्प भगवान के लिए एक प्रोग्रामिंग भाषा बन गई

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

हालांकि, एक भाषा है जो अजीब रूप से सार्वभौमिक सम्मान पैदा करती है: लिस्प । कीबोर्ड के क्रूसेडर, किसी पर भी हमला करने के लिए तैयार हैं जो यह घोषणा करने की हिम्मत करता है कि कोई भी भाषा दूसरों की तुलना में बेहतर है, सहमत हैं कि लिस्प एक अलग स्तर पर है। यह अन्य भाषाओं द्वारा निर्धारित उपयोगितावादी मानदंडों से परे है, क्योंकि औसत प्रोग्रामर ने कभी भी कुछ भी व्यावहारिक बनाने के लिए लिस्प का उपयोग नहीं किया है, और शायद कभी नहीं होगा, हालांकि, लिस्प के लिए सम्मान इतना गहरा है कि वह अक्सर इसके साथ श्रेय दिया जाता है पौराणिक गुण। हर किसी की पसंदीदा xkcd कॉमिक्स इस प्रकार लिस्प को कम से कम दो बार चित्रित करती है: एक कॉमिक में, एक चरित्र लिस्प आत्मज्ञान प्राप्त करता है, जो उसे ब्रह्मांड की मूल संरचना को समझने में मदद करता है। एक अन्य में, ड्रेसिंग में एक पुराना प्रोग्रामर, अपने पैडावन के लिए कोष्ठक के ढेर पर हाथ रखता है, यह समझाते हुए कि यह "अधिक सभ्य समय के लिए एक सुरुचिपूर्ण हथियार है," लिस्प में निहित बल की मनोगत संभावनाओं के लिए।

एक और महान उदाहरण बॉब केनफ़स्की के गीत "भगवान टेरा पर रहता है" की पैरोडी है। उनकी पैरोडी 90 के दशक के मध्य में लिखी गई थी और इसे "अनन्त ज्वाला" कहा जाता है। वह बताती है कि कैसे, जाहिर है, भगवान ने लिस्प की मदद से दुनिया का निर्माण किया। निम्नलिखित एक अंश है, और पूर्ण संस्करण GNU हास्य संग्रह वेबसाइट पर पाया जा सकता है:

आखिरकार, भगवान ने लिस्प में लिखा
जब उसने पत्तों को हरा भरा किया।
भग्न फूल और पुनरावर्ती जड़ें:
सबसे सुंदर हैक मैंने कभी देखा है।
और जब मैं स्नोफ्लेक्स का अध्ययन करता हूं
और मुझे दो समान नहीं मिले
मुझे पता है कि भगवान को भाषा से प्यार है
अपने चार अक्षरों वाले नाम के साथ।

मैं केवल अपने लिए बोलता हूं, लेकिन मुझे लगता है कि सांस्कृतिक मेमे "लिस्प गुप्त रहस्य है" सबसे अजीब और दिलचस्प घटना है। लिस्प को एक आइवरी टॉवर में कृत्रिम बुद्धिमत्ता पर शोध के लिए एक उपकरण के रूप में कल्पना की गई थी, इसलिए यह हमेशा सामान्य प्रोग्रामर के लिए थोड़ा अपरिचित और रहस्यमय होगा। हालांकि, अब प्रोग्रामर एक-दूसरे को धक्का दे रहे हैं "मरने से पहले लिस्प का प्रयास करें," जैसे कि यह कुछ प्रकार की साइकेडेलिक दवा थी जो चेतना को व्यापक करती है। वे इस तथ्य के बावजूद ऐसा करते हैं कि लिस्प दूसरी सबसे पुरानी प्रोग्रामिंग भाषा है जिसका वे अभी भी उपयोग करते हैं, यह केवल फोरट्रान के लिए दूसरा है, और यह केवल एक वर्ष है। कल्पना करें कि इसे विकसित करने वाली कंपनी या टीम आपको कुछ नई प्रोग्रामिंग भाषा का विज्ञापन करने के लिए निर्देश देगी। क्या यह अच्छा नहीं होगा कि आप सभी को समझा सकें कि आपकी नई भाषा में दैवीय शक्तियाँ हैं? लेकिन यह कैसे हासिल किया जा सकता है? गुप्त ज्ञान के स्रोत के रूप में प्रोग्रामिंग भाषा कैसे प्रसिद्ध हुई?

लिस्प को यह कैसे मिला?


बाइट पत्रिका कवर, अगस्त 1979

सिद्धांत ए: स्वयंसिद्ध भाषा

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

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

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

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

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

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

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

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

थ्योरी बी: ​​द मशीन ऑफ द फ्यूचर

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

1970 के दशक के मध्य तक, AI शोधकर्ताओं ने कंप्यूटर शक्ति की कमी शुरू कर दी। उदाहरण के लिए, पीडीपी -10 - सभी की पसंदीदा एआई मशीन - में 18-बिट पता स्थान था, जो लिस्प में एआई कार्यक्रमों के लिए तेजी से कमी थी। कई एआई कार्यक्रमों को भी इंटरैक्टिव होना था, और एक बड़ा इंटरैक्टिव प्रोग्राम बनाना जो समय-साझाकरण प्रणाली पर अच्छी तरह से काम करता है, एक कठिन काम था। MIT के पीटर डिक्शन ने सबसे पहले जो प्रस्ताव पेश किया, वह लिस्प के लिए एक समर्पित कंप्यूटर विकसित करना था। ऐसी मशीनों को प्रत्येक उपयोगकर्ता को लिस्प के लिए एक समर्पित प्रोसेसर देना चाहिए। उन्हें कट्टर लिस्प प्रोग्रामरों के लिए लिस्प में एक विकास का माहौल भी लिखना पड़ा। लिस्प मशीनें, मिनी-कंप्यूटरों के युग के अंत में एक असुविधाजनक क्षण में आविष्कार की गई थीं, लेकिन माइक्रो कंप्यूटर क्रांति के बाद, प्रोग्रामरों के अभिजात वर्ग के लिए उच्च प्रदर्शन वाले व्यक्तिगत कंप्यूटर थे।

थोड़ी देर के लिए, ऐसा लग रहा था कि लिस्प मशीनें भविष्य की लहर होगी। कई कंपनियाँ थीं जो इस तकनीक के व्यावसायीकरण के लिए प्रतिस्पर्धा करने लगीं। इनमें से सबसे सफल प्रतीक प्रतीक था, जिसे MIT AI लैब के दिग्गजों द्वारा बनाया गया था। 1980 के दशक में, सिंबोलिक्स ने अपने 3600 श्रृंखलाओं के कंप्यूटर लॉन्च किए, जो AI उद्योग में लोकप्रिय थे और उच्च शक्ति कंप्यूटिंग की आवश्यकता वाले उद्योगों में। 3600 लाइन में बड़ी स्क्रीन, बिटमैप ग्राफिक्स, माउस-आधारित इंटरफ़ेस और शक्तिशाली ग्राफिक्स और एनीमेशन प्रोग्राम वाले कंप्यूटर शामिल थे। ये प्रभावशाली मशीनें थीं जिन्होंने प्रभावशाली कार्यक्रम लिखना संभव बना दिया। उदाहरण के लिए, बॉब कैली, जिन्होंने रोबोटिक्स अनुसंधान के क्षेत्र में काम किया, ने मुझे ट्विटर के माध्यम से लिखा कि वह 1985 में सिम्बॉलिक्स 3650 पर पथ खोज एल्गोरिदम को लागू करने और कल्पना करने में सक्षम था। उन्होंने कहा कि रेखापुंज ग्राफिक्स और ओओपी (फ्लेवर्स एक्सटेंशन के लिए लिस्प मशीनों के लिए धन्यवाद) 1980 के दशक में नए थे। प्रतीक सबसे आगे थे।



लेकिन इसके परिणामस्वरूप, प्रतीक चिह्न कंप्यूटर बहुत महंगा थे। 1983 में प्रतीक 3600 $ 110,000 की लागत। अधिकांश लोग केवल लिस्प मशीनों की शक्ति और दूर से लिस्प में लिखने वाले ऑपरेटरों के जादू में चमत्कार कर सकते थे। लेकिन उन्होंने अचंभा किया। बाइट पत्रिका ने 1979 और 1980 के दशक के बीच कई बार लिस्प और लिस्प मशीनों का वर्णन किया। लिस्प के अगस्त 1979 के अंक में, एडिटर-इन-चीफ एमआईटी में विकसित होने वाली नई मशीनों, "स्मृति के पहाड़ के साथ" और "उन्नत ऑपरेटिंग सिस्टम" के बारे में उत्साही थे। वह उन्हें इतना होनहार मानता था कि पिछले दो साल जिसमें Apple II, कमोडोर PET और TRS-80 दिखाई दिया, उबाऊ लग रहा था। पांच साल बाद, 1985 में, बाइट पत्रिका में लेखक ने "जटिल और अत्यंत शक्तिशाली प्रतीक 3670" के लिए लिस्प कार्यक्रमों को लिखने की प्रक्रिया का वर्णन किया, और पाठकों को लिस्प सीखने के लिए प्रोत्साहित किया, यह बताते हुए कि यह दोनों "भाषा सबसे अधिक AI शोधकर्ताओं की जरूरत है," और भविष्य के सामान्य प्रयोजन की भाषा के लिए एक उम्मीदवार।

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

थ्योरी बी: ​​प्रोग्रामिंग प्रशिक्षण

1985 में, एमआईटी, हेरोल्ड एबेल्सन और गेराल्ड सेसमैन के प्रोफेसरों, साथ ही साथ ससमान की पत्नी, जूलिया ने पाठ्यपुस्तक संरचना और कंप्यूटर प्रोग्राम की व्याख्या प्रकाशित की। पाठ्यपुस्तक में, पाठकों को योजना भाषा, लिस्प बोली में प्रोग्रामिंग सिखाई गई थी। इसका उपयोग MIT में दो दशकों तक प्रोग्रामिंग के लिए एक परिचय के लिए किया गया था। यह मुझे लगता है कि यह एक पाठ्यपुस्तक है, एसआईसीपी, ने रहस्यवाद को लिस्प में जोड़ा। एसआईसीपी ने लिस्प को लिया और दिखाया कि इसका उपयोग प्रोग्रामिंग की कला की गहरी, लगभग दार्शनिक अवधारणाओं को चित्रित करने के लिए कैसे किया जा सकता है। ये अवधारणाएं किसी भी PL का उपयोग करने के लिए पर्याप्त सामान्य थीं, लेकिन SICP लेखकों ने लिस्प को चुना। नतीजतन, लिस्प की प्रतिष्ठा को इस अजीब और शानदार पुस्तक की कुख्याति से पूरित किया गया था जिसने प्रोग्रामर की कई पीढ़ियों को (और एक बहुत ही अजीब मेम बन गया)। लिस्प हमेशा "मैकार्थी की सुरुचिपूर्ण औपचारिकता" रही है; अब यह एक भाषा भी बन गई है "आपको प्रोग्रामिंग के छिपे रहस्यों को पढ़ाने")।

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



यहाँ क्या हो रहा है? मेज पर एक जानवर का पैर क्यों है? एक महिला टेबल की ओर क्यों इशारा करती है? इंकवेल का महत्व क्या है? क्या हमें यह समझना चाहिए कि विज़ार्ड ने ब्रह्मांड के गुप्त ज्ञान का पता लगाया, और वे एक साक्ष्य / चक्र और लैम्ब्डा कैलकुलस लागू करते हैं? जाहिर है, यह है। केवल इस छवि को लिस्प की आज की धारणा में बहुत कुछ जोड़ना चाहिए था।

लेकिन किताब का पाठ अक्सर ही अजीब सा हो जाता है। SICP कंप्यूटर विज्ञान की अन्य पुस्तकों की तरह नहीं है। प्रस्तावना में लेखक समझाते हैं कि पुस्तक केवल लिस्प में प्रोग्रामिंग के बारे में नहीं है - यह "तीन चाल, या घटना: मानव मन, कंप्यूटर प्रोग्राम और कंप्यूटर का एक सेट" के बारे में बताता है। बाद में वे वर्णन करते हैं कि वे आश्वस्त हैं कि प्रोग्रामिंग को कंप्यूटर विज्ञान के अनुशासन के रूप में नहीं माना जाना चाहिए, लेकिन "प्रक्रियात्मक महामारी विज्ञान " के एक नए रिकॉर्ड के रूप में। प्रोग्राम विचारों की संरचना का एक नया तरीका है जो केवल कभी-कभी कंप्यूटर में दर्ज किए जाते हैं। पहला अध्याय लिस्प का संक्षिप्त दौरा देता है, लेकिन अधिकांश पुस्तक अधिक अमूर्त अवधारणाओं के बारे में है। यह विभिन्न प्रोग्रामिंग प्रतिमानों, ओओ सिस्टम में समय और पहचान की प्रकृति, और एक स्थान पर, संदेश गुजरने की मौलिक सीमाओं के कारण क्या सिंक्रनाइज़ेशन समस्याएं पैदा कर सकता है, पर चर्चा करता है, जो सापेक्षता के सिद्धांत में प्रकाश की गति की भूमिका निभाते हैं। ये बहुत ही अपमानजनक बातें हैं।

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

लेकिन शायद SICP का सबसे महत्वपूर्ण योगदान लिस्प को मज़ेदार जिज्ञासा स्तर से शैक्षणिक आवश्यकता तक बढ़ाने में था। SICP से बहुत पहले, लोगों ने एक दूसरे को सलाह दी कि वे प्रोग्रामर के रूप में अपने स्तर को बेहतर बनाने के लिए लिस्प सीखें। बाइट पत्रिका का 1979 का अंक। उसी संपादक, जिसने एमआईटी में नई लिस्प मशीनों की प्रशंसा की, ने समझाया कि यह इस भाषा को सीखने के लायक है क्योंकि यह "कार्यों पर एक अलग दृष्टिकोण का प्रतिनिधित्व करता है।" हालांकि, SICP में, लिस्प को अन्य भाषाओं के विपरीत नहीं प्रस्तुत किया गया था। यह एक परिचयात्मक भाषा के रूप में इस्तेमाल किया गया था, यह संकेत देते हुए कि यह बुनियादी प्रोग्रामिंग अवधारणाओं को सीखने के लिए सबसे अच्छी भाषा है। जब आज के प्रोग्रामर मरने से पहले एक दूसरे को लिस्प की कोशिश करने की सलाह देते हैं, तो वे संभवतः एसआईसीपी के कारण ऐसा करते हैं। आखिरकार, ब्रेनफक भी शायद "कार्यों पर अलग दृष्टिकोण" प्रदान करता है।लेकिन लोग इसके बजाय लिस्प का अध्ययन करते हैं, यह जानते हुए कि बीस साल के लिए लिस्प का दृष्टिकोण इतना उपयोगी है कि एमआईटी में छात्रों ने लिस्प को अन्य सभी भाषाओं को पढ़ाया।

लिस्प रिटर्न

SICP के जारी होने के वर्ष में, Björn Straustrup ने अपनी पुस्तक The C ++ प्रोग्रामिंग लैंग्वेज का पहला संस्करण प्रकाशित किया , जिसने OOP को जन-जन तक पहुँचाया। कुछ साल बाद, लिस्प मशीन बाजार ढह गया, और एआई की सर्दी शुरू हुई । अगले दस वर्षों में, सी ++ और फिर जावा भविष्य की भाषा बन गए, और लिस्प वनस्पति।

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

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