मैंने डीनोटेशनल सेमेंटिक्स (डीएस) पर थोड़ा पढ़ा है और मैं कंप्यूटर प्रोग्राम डिजाइन करने की प्रक्रिया के बारे में बहुत गहन हूं जहां टाइप और फ़ंक्शंस गणित के लिए मजबूत और स्पष्ट मैपिंग हैं।
क्या कोई संसाधन हैं जो डीएस पर आधारित डिजाइनिंग कार्यक्रमों पर विस्तार से चर्चा करते हैं? मैंने इस विषय के कुछ सतही उपचार देखे हैं।
मैं हास्केल, स्काला, कॉमन लिस्प और थोड़ी सी स्कीम में बातचीत कर रहा हूं, इसलिए उन भाषाओं का उपयोग करने वाले किसी भी संसाधन की बहुत सराहना की जाएगी।
7
आपको कॉनल इलियट द्वारा काम की जांच करनी चाहिए: conal.net
यदि आप पहले से ही नहीं जानते हैं तो करी-हावर्ड आइसोमॉर्फिज्म कीवर्ड है।
—
पीडोफुरला
मैंने एक ऐसी ही बात सोची। मैंने अंकों, कठोर निकायों और द्रव के संख्यात्मक सिमुलेशन को डिजाइन करने की कोशिश की। यह ( github.com/takagi/SimulationDSL ) मेरा एक प्रयोग है जिसमें मैंने हास्केल डीएसएल में वेक्टर बीजगणित और आंशिक समीकरण व्यक्त किए हैं। मैंने कॉनल इलियट के काम की भी जाँच की।
आपको LtU की जांच करनी चाहिए । वहाँ शायद कुछ अच्छे पुराने विचार विमर्श कर रहे हैं, या कम से कम अपने सवाल तो वहाँ बेहतर होगा SO
आप सैमुअल कामिन को "वाडलर की सुंदर-छपाई वाले कॉम्बिनेटरों का एक कार्यान्वयन-उन्मुख शब्दार्थ" पढ़ना चाहते हैं। यह अच्छी तरह से ज्ञात, वास्तविक दुनिया उदाहरण को लागू करने के लिए परिचालन और सांप्रदायिक दृष्टिकोणों की तुलना करता है और इसमें एक सांकेतिक दृष्टिकोण के लिए वकालत शामिल है।
—
स्टीफन टेटली