पॉल ग्राहमले नयाँ प्रोग्रामिङ भाषा बेल घोषणा गरे

बेल भाषा बेल भाषामा लेखिएको छ।

1960 मा, जोन म्याकार्थीले लिस्प, प्रोग्रामिङ भाषाको नयाँ प्रकारको वर्णन गरे। म "नयाँ प्रकार" भन्छु किनभने Lisp नयाँ भाषा मात्र थिएन, तर भाषाहरू वर्णन गर्ने नयाँ तरिका थियो।

लिस्पलाई परिभाषित गर्न, उनले कथनहरूको सानो सेट, एक प्रकारको अक्सिम्सको साथ सुरु गरे, जसलाई उनले भाषाको लागि अनुवादक लेख्न प्रयोग गरे।

यो सामान्य अर्थमा प्रोग्रामिङ भाषाको वर्णन गर्न सेट गरिएको छैन - कम्प्युटरले के गर्ने भनेर बताउन प्रयोग गरिने भाषा। उनको 1960 को काममा, लिस्पलाई ट्युरिङ मेसिन जस्तै गणनाको औपचारिक मोडेलको रूपमा बुझिएको थियो। म्याककार्थीले यसलाई कम्प्युटरमा प्रयोग गर्ने बारे सोचेनन् जबसम्म स्टीव रसेल, उनको स्नातक विद्यार्थीले यो सुझाव दिएनन्।

1960 मा Lisp मा प्रोग्रामिङ भाषाहरूमा सामान्य सुविधाहरू थिएनन्। उदाहरणका लागि, त्यहाँ कुनै संख्याहरू, त्रुटिहरू वा I/O थिएनन्। त्यसैले कम्प्युटर प्रोग्राम गर्न प्रयोग हुने भाषाहरूको लागि आधारको रूपमा लिस्प प्रयोग गर्ने व्यक्तिहरूले यी सुविधाहरू आफैं थप्नुपर्ने थियो। र तिनीहरूले स्वयंसिद्ध दृष्टिकोण त्यागेर यो गरे।

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

मेरो परिकल्पना यो हो कि, यसको कठिन इतिहासको बावजुद, लिस्पले यसको विकास दुई चरणहरूमा भएको तथ्यबाट फाइदा उठायो; कि यसमा यसको दोभाषे लेखेर भाषा परिभाषित गर्ने मौलिक अभ्यासले लिस्पलाई यसको उत्कृष्ट गुणहरू दियो। र यदि त्यसो हो भने, किन अगाडि बढ्नुहुन्न?

कमर यो प्रश्नको जवाफ दिने प्रयास हो: प्रारम्भिक चरणमा औपचारिक चरणबाट कार्यान्वयनको चरणमा सर्नुको सट्टा, यो संक्रमण सकेसम्म ढिलो गरियो भने के हुन्छ? यदि तपाइँ पूर्ण प्रोग्रामिङ भाषाको नजिक केहि नभएसम्म स्वयंसिद्ध दृष्टिकोण प्रयोग गर्न जारी राख्नुहुन्छ भने, तपाइँलाई कुन axioms चाहिन्छ, र नतिजा हुने भाषा कस्तो देखिन्छ?

म बेल के हो र यो के होइन भनेर स्पष्ट हुन चाहन्छु। यद्यपि यसमा म्याकार्थीको 1960 लिस्प भन्दा धेरै सुविधाहरू छन्, बेल अझै पनि यसको औपचारिक चरणमा उत्पादन हो। Lisp जस्तै, 1960 पेपरमा वर्णन गरिएको, यो तपाइँ प्रोग्राम गर्न प्रयोग गर्न सक्ने भाषा होइन। मुख्य रूपमा किनभने, McCarthy's Lisp जस्तै, यसले दक्षताको वास्ता गर्दैन। जब मैले बेलमा केहि थप्छु, म प्रभावकारी कार्यान्वयन प्रदान गर्ने प्रयास नगरी थपको अर्थ वर्णन गर्छु।

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

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

त्यसोभए यदि तपाइँ बेलमा आधारित कार्यान्वयन लेख्ने प्रयास गर्न चाहनुहुन्छ भने, अगाडि बढ्नुहोस्। म पहिलो प्रयोगकर्ता मध्ये एक हुनेछु।

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

यहाँ भाषाको निरन्तर विवरण.

• बेल भाषाको लागि गाइड
• बेल स्रोत
• केही कोड उदाहरणहरू

अनुवाद को लागी धन्यवाद: डेनिस Mitropolsky

PS

• पल ग्राहमका निबन्धका १४३ अनुवादहरूको चयन (१८४ मध्ये)

स्रोत: www.habr.com