साइमन मूल रूप से सही है, एक चरम बिंदु से। हम बहुत अच्छी तरह से जानते हैं कि आधुनिक कार्यात्मक भाषाओं के शब्दार्थ क्या हैं, और वे वास्तव में एक दूसरे के अपेक्षाकृत छोटे रूप हैं - वे प्रत्येक एक विचित्र धातुचित्र में थोड़ा अलग अनुवाद प्रस्तुत करते हैं। यहां तक कि स्कीम जैसी भाषा (प्रथम श्रेणी के नियंत्रण के साथ एक गतिशील रूप से उच्च-क्रम वाली अनिवार्य भाषा) में एक शब्दार्थ है जो एमएल और हास्केल के बहुत करीब है।
वी
लेकिन आधुनिक टाइप की गई कार्यात्मक भाषाओं की व्याख्या करने के लिए उपयुक्त श्रेणी में आने के लिए चीजें काफी डरावनी होती हैं। मूल रूप से, आप इस डोमेन पर आंशिक तुल्यता संबंधों के एक अल्ट्रामेट्रिक-समृद्ध श्रेणी का निर्माण करते हैं। (एक उदाहरण के रूप में, बीर्केडल, स्टोविंग और थम्सबर्ग के "पैरामीट्रिक पॉलीमॉर्फिज़्म, जनरल संदर्भ और पुनरावर्ती प्रकार के यथार्थवादीता शब्दार्थ" देखें।) जो लोग परिचालन शब्दार्थ पसंद करते हैं, वे इस सामान को चरण-अनुक्रमित तार्किक संबंधों के रूप में जानते हैं। (उदाहरण के लिए, अहमद, ड्रेयर और रॉसबर्ग के "स्टेट-डिपेंडेंट रिप्रेजेंटेशन इंडिपेंडेंस" देखें।) किसी भी तरह, इस्तेमाल की गई तकनीक अपेक्षाकृत नई हैं।
a -> b
⟨ एक ⟩ → टी⟨ ख ⟩⟨ एक ⟩ → ⟨ ख ⟩टी( ए )⟨ एक ⟩a
→
जहाँ तक समतामूलक सिद्धांत जाता है, चूँकि इन भाषाओं को अनुवादों द्वारा एक ही भाषा के थोड़े अलग उपसमुच्चय में वर्णित किया जा सकता है, इसलिए उन्हें पूरी तरह से एक दूसरे की वाक्यगत विविधता कहना उचित है।
एमएल और हास्केल के बीच महसूस करने का अंतर वास्तव में दो भाषाओं के आयामी गुणों से उत्पन्न होता है - अर्थात, निष्पादन समय और मेमोरी खपत। एमएल के पास एक रचनात्मक प्रदर्शन मॉडल होता है (अर्थात, किसी प्रोग्राम की समय / स्थान लागत को उसके उपसमूह के समय / स्थान की लागत से गणना की जा सकती है), जैसा कि एक सच्ची कॉल-बाय-नाम भाषा है। वास्तविक हास्केल को कॉल-बाय-नीड, एक प्रकार के मेमोइज़ेशन के साथ लागू किया जाता है, और इसके परिणामस्वरूप इसका प्रदर्शन कंपोजिटल नहीं होता है - किसी चर से जुड़ी अभिव्यक्ति का मूल्यांकन करने में कितना समय लगता है, यह इस बात पर निर्भर करता है कि इसका इस्तेमाल पहले हुआ है या नहीं। यह मैं ऊपर दिए गए शब्दार्थों में प्रतिरूपित नहीं है।
यदि आप अंतरंग गुणों को अधिक गंभीरता से लेना चाहते हैं, तो एमएल और हास्केल अधिक गंभीर मतभेद दिखाने लगते हैं। अभी भी उनके लिए एक सामान्य मेटलंगेज विकसित करना संभव है, लेकिन ध्यान केंद्रित करने के सबूत-सिद्धांत संबंधी विचार से संबंधित प्रकारों की व्याख्या बहुत अधिक व्यवस्थित तरीके से भिन्न होगी । इस बारे में जानने के लिए एक अच्छी जगह नोआम ज़िलबर्गर की पीएचडी थीसिस है।