एक मानक एमएल संरचना एक बीजगणित के समान है । इसके हस्ताक्षर समान आकार के बीजगणित के एक पूरे वर्ग का वर्णन करते हैं ।
एक मानक एमएल फ़ंक्ज़र, बीजगणित के वर्ग से दूसरे वर्ग के बीजगणित का मानचित्र है। उदाहरण के लिए, उपमाओं के साथ एक सादृश्य हैF:Mon→GrpF:Ab→Rng
इनमें से अधिकांश विचारों को बर्स्टल और गोगुएन द्वारा DLEPP पृष्ठ पर CLEAR (संदर्भ c5 और c6 ) नामक एक विशिष्ट भाषा को डिजाइन करने में पेपर की श्रृंखला में काम किया गया था। डेविड मैकक्वीन उस समय बर्स्टल और सनेला के साथ संयुक्त रूप से काम कर रहे थे, और अंतरंग रूप से परिचित थे। मुद्दों के साथ। मानक एमएल मॉड्यूल प्रणाली इन विचारों पर आधारित है।
ज्यादातर लोगों को आश्चर्य होगा कि आकारिकी के बारे में क्या है? श्रेणी सिद्धांतवाचक क्रियाकलापों में एक वस्तु भाग और एक आकारिकी भाग होता है। क्या मानक एमएल फंक्शनलर्स समान हैं? जवाब हां और नहीं है।
- उत्तर का हां भाग लागू होता है यदि संरचनाएं पहले क्रम में हैं। फिर, एक ही हस्ताक्षर के विभिन्न संरचनाओं के बीच समरूपताएं हैं, और मानक एमएल फंक्शनलर्स स्वचालित रूप से परिणाम हस्ताक्षर के समरूपता के लिए उन्हें मैप करते हैं।
- उत्तर का कोई हिस्सा तब लागू होता है जब संरचनाओं में उच्च-क्रम संचालन होता है।
क्या इसका मतलब है कि मानक एमएल श्रेणी के सिद्धांत से भटक रहा है? मुझे ऐसा नहीं लगता। मुझे लगता है कि मानक एमएल सही काम कर रहा है, और श्रेणी सिद्धांत अभी तक पकड़ नहीं है। श्रेणी सिद्धांत अभी तक नहीं जानता है कि उच्च-क्रम के कार्यों से कैसे निपटना है। किसी दिन, यह होगा।