के ले लिस्पलाई विशेष बनायो

«अहिलेसम्म सिर्जना गरिएको सबैभन्दा ठूलो प्रोग्रामिङ भाषा«
- एलन के, "लिस्पमा"

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

लिस्पले नौ नयाँ विचारहरू प्रस्तुत गरे:

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

2. एक प्रकार्य प्रकार। Lisp मा, प्रकार्यहरू पहिलो-कक्षा वस्तुहरू हुन् - तिनीहरू डेटा प्रकार हुन्, जस्तै संख्याहरू, स्ट्रिङहरू, आदि, र शाब्दिक प्रतिनिधित्व छ, चरहरूमा भण्डारण गर्न सकिन्छ, तर्कहरू, इत्यादिको रूपमा पास गर्न सकिन्छ।

3. पुनरावृत्ति। Recursion, पक्कै पनि, Lisp भन्दा पहिले गणितीय अवधारणाको रूपमा अवस्थित थियो, तर Lisp यसलाई समर्थन गर्ने पहिलो प्रोग्रामिङ भाषा थियो। (यो सम्भवतः प्रथम श्रेणी वस्तुहरूको रूपमा प्रकार्यहरू सिर्जना गर्न निहित छ।)

4. चर को एक नयाँ अवधारणा। Lisp मा, सबै चरहरू प्रभावकारी सूचकहरू हुन्। मानहरू के प्रकारहरू छन्, चरहरू होइनन्, र भ्यारीएबलहरू असाइन गर्नु वा बाइन्डिङ गर्नु भनेको पोइन्टरहरू प्रतिलिपि गर्नु हो, तिनीहरूले देखाएको कुरा होइन।

5. फोहोर संकलन.

6. अभिव्यक्तिहरू मिलेर बनेका कार्यक्रमहरू। Lisp कार्यक्रमहरू अभिव्यक्तिका रूखहरू हुन्, जसमध्ये प्रत्येकले मान फर्काउँछ। (केही लिस्प अभिव्यक्तिले धेरै मानहरू फर्काउन सक्छ।) यो फोर्ट्रान र "अभिव्यक्ति" र "कथनहरू" बीचको भिन्नता गर्ने अन्य धेरै सफल भाषाहरूसँग विपरित छ।

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

ब्लक-संरचित भाषाहरूको आगमनसँगै प्रतिबन्धहरू हटाइयो, तर त्यतिन्जेल धेरै ढिलो भइसकेको थियो। अभिव्यक्ति र कथन बीचको भिन्नता पहिले नै स्थापित गरिएको छ। यो फोरट्रानबाट अल्गोल र त्यसपछि तिनीहरूका सन्तानहरूमा गए।

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

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

वा

(= x (if foo 1 2))

7. प्रतीक प्रकार। क्यारेक्टरहरू स्ट्रिङहरू भन्दा फरक छन्, जसमा तपाईंले पोइन्टरहरू तुलना गरेर समानता जाँच गर्न सक्नुहुन्छ।

8. कोडको लागि नोटेशन प्रतीक रूखहरू प्रयोग गर्दै।

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

पढ्दा चलिरहेको कोडले प्रयोगकर्ताहरूलाई Lisp को सिन्ट्याक्स पुन: प्रोग्राम गर्न अनुमति दिन्छ; कम्पाइल समयमा चलिरहेको कोड म्याक्रोको लागि आधार हो; रनटाइम संकलन Emacs जस्ता कार्यक्रमहरूमा विस्तारित भाषाको रूपमा Lisp प्रयोग गर्ने आधार हो; र अन्तमा, रनटाइम पढाइले प्रोग्रामहरूलाई s-अभिव्यक्तिहरू प्रयोग गरेर सञ्चार गर्न अनुमति दिन्छ, हालै XML मा पुन: आविष्कार गरिएको विचार।

निष्कर्षमा

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

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

यद्यपि यो आधुनिक प्रोग्रामरहरूको लागि उपयोगी छ, यो अन्य भाषाहरूमा अपनाइएका अनियमित प्रविधिहरूबाट लिस्पको भिन्नताको सन्दर्भमा वर्णन गर्न अजीब छ। यो म्याकार्थीले सोचेको जस्तो नहुन सक्छ। Lisp Fortran को त्रुटिहरू सच्याउन डिजाइन गरिएको थिएन; यो प्रयासको उप-उत्पादनको रूपमा देखा पर्‍यो गणनाहरू axiomateize.

स्रोत: www.habr.com