अधिकांश एस-अभिव्यक्ति भाषाएं गतिशील रूप से टाइप क्यों की जाती हैं?

Question

अधिकांश लिस्प और योजनाएं गतिशील रूप से टाइप कैसे की जाती हैं? क्या स्थिर टाइपिंग उनकी कुछ सामान्य विशेषताओं के साथ मिश्रण नहीं करती है?

Answer 1

टाइपिंग और एस-एक्सप्रेशन एक साथ काम करने के लिए किए जा सकते हैं, typed scheme देखें।

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

Typed Hygienic Macros कठिन हैं।

Answer 2

जब लिस्प का आविष्कार 1 9 58 से 1 9 60 तक हुआ था, तो उसने भाषा और कार्यान्वयन (कचरा संग्रह, एक स्वयं-होस्टिंग कंपाइलर, ...) दोनों के रूप में कई सुविधाएं पेश कीं। कुछ विशेषताओं को विरासत में मिला (कुछ सुधारों के साथ) अन्य भाषाओं (सूची प्रसंस्करण, ...) से। भाषा कार्यों के साथ गणना गणना लागू की। एक भाषा सुविधा की तुलना में एस-एक्सप्रेशन अधिक कार्यान्वयन विस्तार (उस समय) थे। एक प्रकार की प्रणाली भाषा का हिस्सा नहीं थी। एक इंटरेक्टिव तरीके से भाषा का उपयोग करना प्रारंभिक कार्यान्वयन सुविधा भी थी।

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

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

Answer 3

स्टेटिक टाइपिंग शब्दावली है, इसका मतलब है कि किसी भी अभिव्यक्ति का मूल्यांकन किए बिना या किसी भी चीज की गणना किए बिना प्रकार के बारे में सभी जानकारी को स्रोत कोड पढ़ने से अनुमानित किया जा सकता है, सशर्त यहां सबसे महत्वपूर्ण हैं। एक स्थाई रूप से टाइप की गई भाषा को डिज़ाइन किया गया है ताकि यह हो सके, एक बेहतर शब्द 'लेक्सिकली टाइपेड' होगा, जैसा कि एक कंपाइलर अकेले स्रोत को पढ़ने से साबित कर सकता है कि कोई भी प्रकार की त्रुटियां नहीं होती हैं।

लिस्प के मामले में, यह अजीब रूप से अलग है क्योंकि लिस्प का स्रोत कोड स्थिर नहीं है, लिस्प होमो-आइकॉनिक है, यह डेटा को कोड के रूप में उपयोग करता है और कुछ गतिशील रूप से अपने चल रहे स्रोत को संपादित कर सकता है।

लिस्प पहली गतिशील रूप से टाइप की गई भाषा थी, और संभवतः इस कारण से, प्रोग्राम कोड स्वयं लिस्प में अब वर्णक्रमीय नहीं है।

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

तो मुझे यह कहते हुए हिम्मत है कि यह पूरी तरह से और पूरी तरह से समझने में असमर्थ है।