क्या यह तकनीकी रूप से संभव होगा? यदि इसे जावा में लागू किया जाता है, तो मैं महत्वपूर्ण प्रदर्शन हानि के बिना "बहुत, बहुत कठिन, लेकिन संभव" कहूंगा।
मैं वास्तव में अभी जावा में एक स्टेटिक रूप से टाइप किए गए DSL को लिख रहा हूं, और रनटाइम टाइप-चेकिंग से बचने का एकमात्र तरीका है कि मैं जेनरिक का उपयोग करूं और "अनियंत्रित" चेतावनियों को दबाऊं ... यही है, जब तक कि समय लागू नहीं हो जाता। बहुआयामी सरणियों (वर्ग मापदंडों को संकलित समय पर जाना चाहिए और इस प्रकार स्वाभाविक रूप से परिमित हैं, जबकि बहुआयामी सरणियों अनंत प्रकार के प्रतिनिधित्व करते हैं ...) फिर भी यह एक जानने की कोशिश कर रहा है, दुर्भाग्य से - मुझे यकीन है कि मैं उपयोगकर्ता परिभाषित वर्गों के साथ समान समस्याओं का सामना करना पड़ेगा।
बात यह है, मैं इस तरह की समस्याओं पर लड़खड़ाता रहता हूं, लेकिन थोड़ी देर के लिए इस पर बैठने के बाद, मैं एक अच्छा समाधान लेकर आता हूं। तो, यह करने के लिए और स्थिर टाइपिंग (कोई रनटाइम प्रकार की जाँच नहीं) के प्रदर्शन लाभ हैं, मैं कहूंगा कि यह बहुत मुश्किल है, लेकिन असंभव नहीं है। प्रदर्शन को छोटा करें, मैं बहुत मुश्किल से कहूंगा।
मुझे पता है कि यह एक पुराना सवाल है, मुझे लगा कि मेरा अनुभव किसी के लिए मूल्यवान हो सकता है।