मैं सोच रहा हूं कि डेटा संरचना के प्रारूप और अर्थशास्त्र का मनमाने ढंग से वर्णन करने के लिए कोई घोषणात्मक भाषा मौजूद है, जिसे लक्षित भाषाओं के किसी भी सेट में उस संरचना के विशिष्ट कार्यान्वयन के लिए संकलित किया जा सकता है। यही है, जेनेरिक data definition language की तरह कुछ, लेकिन वैक्टर, सूचियों, पेड़ों, आदि जैसे मनमानी डेटा संरचनाओं और उन संरचनाओं पर संचालन के अर्थशास्त्र का वर्णन करने की दिशा में तैयार किया गया। मैं पूछता हूं क्योंकि मुझे इस अवधारणा के व्यवहार्य कार्यान्वयन के बारे में एक विचार था, और मैं बस सोच रहा हूं कि यह इसके लायक है, और इसके परिणामस्वरूप, चाहे यह पहले किया गया हो।जेनेरिक डेटा स्ट्रक्चर विवरण भाषा
एक और, थोड़ा अधिक अमूर्त प्रश्न: क्या डेटा संरचना (यह क्या करता है) के मानक विनिर्देश और इसके कार्यान्वयन (यह कैसे करता है) के बीच कोई वास्तविक अंतर है? अधिक विशेष रूप से, कार्यान्वयन को आवश्यकताओं को अलग संरचना माना जाना चाहिए?
एक्सएसएलटी वास्तव में एक दिलचस्प दृष्टिकोण है। मैं उसमें देख लूंगा। मुझे यह पूछने का मतलब नहीं था कि क्या समान आवश्यकताओं के लिए अलग-अलग कार्यान्वयन हो सकते हैं; मेरा मतलब है कि एक ही आवश्यकताओं के दो अलग-अलग कार्यान्वयन को अलग-अलग डेटा संरचनाओं के रूप में माना जाना चाहिए। इसका प्रभाव है w.r.t. यह मेटा-भाषा कैसे घोषित हो सकती है और क्या होनी चाहिए। –