टाइप किए गए मेटाप्रोग्रामिंग भाषा

Question

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

जहां तक ​​मुझे पता है, केवल metaocaml ऐसा कर सकता है। (नहीं, न तो टेम्पलेट हास्केल और न ही सी ++ टेम्पलेट बिल फिट करते हैं - this paper देखें)। प्रश्न: अन्य भाषाएं/सिस्टम इस अनुमति क्यों देते हैं?

संपादित करें: जहां तक ​​मैं कह सकता हूं, मेटाकोमल मर चुका है। ओलेग tried to resurrect it, लेकिन यह अभी भी ओकैमल के पीछे कई संस्करणों को अटक गया है। एक प्रयोगात्मक भाषाओं के साथ जाना चाहती है तो (यानी भी ज्यादा metaocaml से, ऐसा लगता है कि Ur और बहुत संभव है Idris क्षेत्र के लिए बिल फिट। किसी भी अन्य नई प्रविष्टियां?

Answer 1

एफ # Code Quotations के माध्यम से भी ऐसा कर सकते हैं।

Answer 2

ऐसा करने के लिए, आपको यह सुनिश्चित करना होगा कि अंतर्निहित श्वास की प्रकार प्रणाली सीधे मेटाप्रोग्राम द्वारा सम्मानित/जांच की जाती है। व्यावहारिक मामले के रूप में, यह लगभग मेटाप्रोग्रामिंग को अंतर्निहित भाषा में रखने के लिए मजबूर करता है ... इसलिए मुझे लगता है मुझे आश्चर्य नहीं है कि आप इसे मेटाओकैमल में कर सकते हैं।

हम में से अधिकांश को मेटाप्रोग्रामिंग टूल नहीं मिलते हैं अंतर्निहित भाषा के लिए (सी ++ बल्कि अपवाद है, और मैंने इसे अस्वीकार कर दिया है और प्रतिबिंब आधारित सिस्टम मनमाने ढंग से परिवर्तन करने के लिए बहुत कमजोर होने के रूप में)।

एक प्रणाली जो कोड पर मनमाने ढंग से परिवर्तन (या उन लोगों के सेट से बना मेटाप्रोग्राम) कर सकती है DMS Software Reengineering Toolkit है। डीएमएस के कई वास्तविक लैंगुग के लिए फ्रंट सिरों हैं, पार्सिंग (एएसटी समेत) संकलक डेटा संरचनाएं बनाता है। डीएमएस source-to-source program transformations प्रदान करता है जो लक्ष्य भाषा के सतह वाक्यविन्यास का उपयोग करके एएसटी-रीराइट्स के रूप में परिवर्तन का प्रतिनिधित्व करता है। यह आपकी आवश्यकता को एक निश्चित डिग्री तक पूरा करता है: यदि आपके परिवर्तन नियम वाक्य रचनात्मक रूप से सही हैं (और उन्हें डीएमएस द्वारा चेक किया गया है), तो परिवर्तित प्रोग्राम वाक्य रचनात्मक रूप से सही होगा। यह आपकी प्रकार-शुद्धता आवश्यकता को प्राप्त नहीं करता है, क्योंकि टाइप-चेकिंग तंत्र लक्ष्य भाषा के बाहर लागू किए जाते हैं। प्रिंसिपल में, प्रोग्राम ट्रांसफॉर्मेशन बढ़ाने के लिए कोई एक प्रकार का सुरक्षित चेकर हो सकता है; प्रैक्टिस में, हमने पाया है कि हम विश्वसनीय रूप से कोड ट्रांसफॉर्मेशन कर सकते हैं।

और यदि आपके पास टाइप-सुरक्षित परिवर्तन हैं, तो आपके पास अपने मूल कार्यक्रम के संबंध में अर्थात् सुरक्षा की गारंटी नहीं है। तो, आपको अभी भी मेटाप्रोग्राम डीबग करना होगा।

Answer 3

http://en.wikipedia.org/wiki/Nemerle

Answer 4

स्काला में संकलन समय metaprogramming।

Our flavor of macros is reminiscent of Lisp macros, adapted to incorporate type safety and rich syntax. Unlike infamous C/C++ preprocessor macros, Scala macros: 1) are written in full-fledged Scala, 2) work with expression trees, not with raw strings, 3) cannot change syntax of Scala.

Answer 5

शेन (क्यूई लिस्प द्वितीय) माना जाता है कि यह कर सकते हैं/करेंगे: http://groups.google.com/group/qilang/browse_thread/thread/d62fc0d9f576838c