क्या विभिन्न प्रोग्रामिंग भाषा सुविधाओं के शब्दार्थ का एक सर्वेक्षण है?

Question

क्या विभिन्न प्रोग्रामिंग भाषा विशेषताओं के शब्दार्थ का एक सर्वेक्षण (कागज, पुस्तक अध्याय, ट्यूटोरियल, लिंक, ...) से है? मैं मूल रूप से डी की सुविधाओं से अभिभूत था, यहां http://www.digitalmars.com/d/2.0/comparison.html

मैं यह देखना चाहूंगा कि मैं संभवतः यहां से क्या प्राप्त कर सकता हूं, हालांकि मैंने स्टैकओवरफ्लो पर एक समान सवाल पूछा है और इन दोनों साइटों को अलग-अलग दृष्टिकोण हैं।

वास्तव में आपके उत्तर की सराहना करते हैं! के लिए डेव क्लार्क को धन्यवाद मेटा पर उनके सुझाव !

Comments

मुझे लगता है कि यह प्रश्न एक दिलचस्प मुद्दा उठाता है: क्या प्रोग्रामिंग भाषाओं का शब्दार्थ अभी भी प्रयोगशाला में एक शोध क्षेत्र है, या यह दिन के प्रकाश के लिए तैयार है? यदि यह दिन के उजाले के लिए तैयार है, तो इस बात का अनुपालन होना चाहिए कि प्रत्येक प्रोग्रामिंग लैंग्वेज फीचर के शब्दार्थ का वर्णन कैसे किया जाए, ताकि भविष्य के भाषा डिजाइनर अपनी भाषाओं को डिजाइन करते समय देख सकें और उन्हें देख सकें। मुझे लगता है कि यह विचार करने योग्य है कि हम यहां से कहां जाना चाहते हैं।

— उदय रेड्डी

Answer 1

मुझे विभिन्न भाषा सुविधाओं के शब्दार्थ के किसी भी सर्वेक्षण का पता नहीं है, हालांकि प्रोग्रामिंग भाषाओं के शब्दार्थ से संबंधित कई पुस्तकें हैं। यहाँ कुछ अधिक व्यापक हैं, जो कम मानक निर्माणों से भी निपटते हैं:

• फ्रेंकलिन टर्बक, डेविड गिफर्ड और मार्क शेल्डन द्वारा प्रोग्रामिंग भाषाओं में डिजाइन अवधारणाओं । कई अलग-अलग भाषा निर्माणों के शब्दार्थों से भरी एक विशाल पुस्तक।

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

अधिक शास्त्रीय पाठ, जो प्रोग्रामिंग भाषा की विभिन्न प्रकारों के बजाय सिमेंटिक तकनीकों पर अधिक जोर देते हैं, में शामिल हैं:

• बेंजामिन पियर्स द्वारा प्रकार और प्रोग्रामिंग भाषाएँ । टाइप सिस्टम पर पुस्तक। टाइप सिस्टम के परिष्कार को बढ़ाते हुए, मुख्य रूप से कार्यात्मक भाषा निर्माण पर ध्यान केंद्रित किया जाता है। यह Featherweight Java को भी कवर करता है, जो Java का एक कोर कलन है।

• हंस Huttel द्वारा संक्रमण और पेड़ । परिचालन शब्दार्थों का एक अच्छा परिचय, विभिन्न प्रकार की भाषाओं को शामिल करना बढ़ती जटिलता का निर्माण करता है।

• हैन रीस नील्सन और फ्लेमिंग नील्सन द्वारा अनुप्रयोगों के साथ शब्दार्थ । उनमें से कुछ गैर-स्पष्ट अनुप्रयोगों सहित विभिन्न शब्दार्थ शैलियों का परिचय। एक महान पढ़ा!

• डेविड ए श्मिट द्वारा लिखित प्रोग्रामिंग भाषाओं की संरचना । एक ठोस नींव वाली किताब।

• प्रोग्रामिंग भाषाओं के शब्दार्थ: कार्ल ए गुंटर द्वारा संरचनाएं और तकनीक । एक और ठोस नींव वाली किताब।

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

मुझे यह जोड़ना चाहिए कि यदि आप अधिक विशिष्ट प्रश्न पूछते हैं, तो आपको अधिक विशिष्ट उत्तर मिलेगा। कई वैज्ञानिक कागजात विभिन्न प्रोग्रामिंग भाषा सुविधाओं को शब्दार्थ प्रदान करते हैं। यदि आप एक विशिष्ट विशेषता में रुचि रखते थे, तो मैं उस सुविधा पर एक या दो पेपर खोद सकता था।

Answer 2

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

Comments

बोर्ड पर एक और पीएल व्यक्ति को देखकर अच्छा लगा।

— डेव क्लार्क