लिस्पला कशाने खास बनवले

«आतापर्यंत तयार केलेली सर्वात मोठी प्रोग्रामिंग भाषा«
- अॅलन के, "लिस्पवर"

मॅककार्थीने 1950 च्या उत्तरार्धात लिस्प विकसित केला तेव्हा ती सध्याच्या भाषांपेक्षा पूर्णपणे वेगळी होती, त्यातील सर्वात महत्त्वाची होती फोर्ट्रान.

लिस्पने नऊ नवीन कल्पना सादर केल्या:

1. अटी. सशर्त विधाने जर-तर-तर-तर बांधकामे आहेत. आता आम्ही त्यांना गृहीत धरतो. ते होते शोध लावला लिस्पच्या विकासादरम्यान मॅककार्थी. (त्यावेळेस फोरट्रानकडे फक्त गोटो स्टेटमेंट्स होती, जी अंतर्निहित हार्डवेअरवरील शाखा निर्देशांशी जवळून जोडलेली होती.) मॅककार्थी, अल्गोल समितीवर असताना, अल्गोलला सशर्त योगदान दिले, जिथून ते इतर भाषांमध्ये पसरले.

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

3. पुनरावृत्ती. Recursion, अर्थातच, Lisp च्या आधी एक गणिती संकल्पना म्हणून अस्तित्वात होती, परंतु Lisp ही त्याला समर्थन देणारी पहिली प्रोग्रामिंग भाषा होती. (कदाचित हे फर्स्ट क्लास ऑब्जेक्ट्स म्हणून फंक्शन्स तयार करण्यात निहित आहे.)

4. व्हेरिएबल्सची नवीन संकल्पना. लिस्पमध्ये, सर्व व्हेरिएबल्स प्रभावी पॉइंटर आहेत. व्हॅल्यूज म्हणजे व्हेरिएबल्स नसून प्रकार आहेत आणि व्हेरिएबल्स नियुक्त करणे किंवा बंधनकारक करणे म्हणजे पॉइंटर्स कॉपी करणे, ते ज्याकडे निर्देश करतात ते नाही.

5. कचरा गोळा करणे.

6. अभिव्यक्तींनी बनलेले कार्यक्रम. लिस्प प्रोग्राम्स हे अभिव्यक्तीचे झाड आहेत, ज्यापैकी प्रत्येक मूल्य परत करतो. (काही लिस्प अभिव्यक्ती एकाधिक मूल्ये परत करू शकतात.) हे फोरट्रान आणि "अभिव्यक्ती" आणि "स्टेटमेंट्स" मध्ये फरक करणाऱ्या इतर अनेक यशस्वी भाषांशी विरोधाभास करते.

फोरट्रानमध्ये हा फरक असणे स्वाभाविक होते कारण भाषा रेषा-केंद्रित होती (ज्या भाषेचे इनपुट स्वरूप पंच केलेले कार्ड होते अशा भाषेसाठी आश्चर्यकारक नाही). तुमच्याकडे नेस्टेड स्टेटमेंट असू शकत नाहीत. आणि जोपर्यंत तुम्हाला कार्य करण्यासाठी गणितीय अभिव्यक्ती आवश्यक आहेत, तोपर्यंत इतर कशानेही मूल्य परत करण्यात काही अर्थ नाही कारण परत येण्याची वाट पाहत काहीही नसेल.

ब्लॉक-स्ट्रक्चर्ड भाषांच्या आगमनाने निर्बंध उठवले गेले, परंतु तोपर्यंत खूप उशीर झाला होता. अभिव्यक्ती आणि विधानांमधील फरक आधीच स्थापित केला गेला आहे. ते फोरट्रान ते अल्गोल आणि पुढे त्यांच्या वंशजांकडे गेले.

जेव्हा एखादी भाषा पूर्णपणे अभिव्यक्तींनी बनविली जाते, तेव्हा तुम्ही तुम्हाला हवे तसे अभिव्यक्ती तयार करू शकता. तुम्ही एकतर लिहू शकता (वाक्यरचना वापरून धनुष्य)

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

किंवा

(= x (if foo 1 2))

7. प्रतीक प्रकार. अक्षरे स्ट्रिंग्सपेक्षा भिन्न आहेत, अशा परिस्थितीत तुम्ही पॉइंटर्सची तुलना करून समानता तपासू शकता.

8. कोडसाठी नोटेशन प्रतीक झाडे वापरणे.

9. संपूर्ण भाषा नेहमीच उपलब्ध असते. वाचन वेळ, संकलित वेळ आणि रन टाइममध्ये स्पष्ट फरक नाही. तुम्ही कोड वाचत असताना संकलित किंवा चालवू शकता, किंवा तुम्ही संकलित करत असताना कोड वाचू शकता किंवा चालवू शकता, किंवा कोड चालत असताना वाचू किंवा संकलित करू शकता.

वाचताना कोड चालू केल्याने वापरकर्त्यांना लिस्पचे वाक्यरचना पुन्हा प्रोग्राम करण्याची परवानगी मिळते; संकलित वेळी चालणारा कोड मॅक्रोसाठी आधार आहे; रनटाइम संकलन हा Emacs सारख्या प्रोग्राम्समध्ये विस्तार भाषा म्हणून Lisp वापरण्याचा आधार आहे; आणि शेवटी, रनटाइम रीडिंग प्रोग्राम्सना s-अभिव्यक्ती वापरून संप्रेषण करण्यास अनुमती देते, ही कल्पना अलीकडेच XML मध्ये पुन्हा शोधण्यात आली आहे.

निष्कर्ष

जेव्हा लिस्पचा प्रथम शोध लावला गेला, तेव्हा या कल्पना 1950 च्या उत्तरार्धात उपलब्ध असलेल्या हार्डवेअरद्वारे निर्धारित केलेल्या पारंपरिक प्रोग्रामिंग पद्धतींपासून खूप दूर होत्या.

कालांतराने, लोकप्रिय भाषांच्या यशामुळे मूर्त स्वरूप असलेली डीफॉल्ट भाषा हळूहळू लिस्पच्या दिशेने विकसित झाली. गुण 1-5 आता मोठ्या प्रमाणावर स्वीकारले जातात. पॉइंट 6 मुख्य प्रवाहात दिसू लागला आहे. Python मध्ये काही स्वरूपात कलम 7 आहे, जरी योग्य वाक्यरचना नाही. आयटम 8, जे (आयटम 9 सह) लिस्पमध्ये मॅक्रो शक्य करते, ते अद्याप फक्त लिस्पमध्ये आहे, कदाचित कारण (अ) त्यासाठी ते कंस किंवा तितकेच वाईट काहीतरी आवश्यक आहे आणि (ब) तुम्ही पॉवरमध्ये ही नवीनतम वाढ जोडल्यास, तुम्ही हे करू शकता. यापुढे नवीन भाषेचा शोध लावल्याचा दावा करत नाही, परंतु केवळ लिस्पची नवीन बोली विकसित केली आहे; -)

जरी हे आधुनिक प्रोग्रामरसाठी उपयुक्त असले तरी, इतर भाषांमध्ये अवलंबलेल्या यादृच्छिक तंत्रांपेक्षा लिस्पचे वेगळे वर्णन करणे विचित्र आहे. मॅककार्थी असा विचार करत नसावा. फोरट्रानच्या चुका सुधारण्यासाठी लिस्पची रचना केलेली नव्हती; ते प्रयत्नांचे उप-उत्पादन म्हणून अधिक दिसून आले गणना स्वयंसिद्ध करा.

स्त्रोत: www.habr.com