उपप्रकार के श्रेणीबद्ध शब्दार्थ क्या है?


17

करी-हावर्ड-लाम्बक से शुरू होकर, प्रकार के सिद्धांत, तर्कशास्त्र और श्रेणियों का एक अच्छा ट्रिनिटी रहा है। मुझे उत्सुकता है कि एक प्रकार के सिद्धांत के साथ जोड़ते समय आपको कौन सा स्पष्ट शब्दार्थ मिलता है (जबरदस्ती) - ऐसा लगता है कि यह बहुत खोजबीन नहीं की गई है, यदि बिल्कुल।

सामान्य तौर पर, एक प्रकार के सिद्धांत में जबरदस्त उपप्रकार जोड़ने से इसके मेटा-थेरैटिक गुणों जैसे मजबूत सामान्यीकरण को बर्बाद नहीं किया जाता है, इसलिए इसका श्रेणीबद्ध शब्दार्थ वास्तविक हित के बारे में कुछ होना चाहिए, मुझे लगता है!

जवाबों:


17

शब्दार्थ, एक बलात्कार सिर्फ एक रूपवाद , जो उचित बिंदुओं पर शब्दों की व्याख्या में जुड़ जाता है। यह जो मूल समस्या है, वह सुसंगतता का मुद्दा है : क्या आप गारंटी देते हैं कि एक शब्द का एक अनूठा अर्थ होगा, यह देखते हुए कि एक ही शब्द संभावित रूप से प्रोग्राम में कई संभावित स्थानों पर छिपे हुए हो सकते हैं?सी:बीसी:बी

इस मुद्दे के पहले उपचारों में से एक जॉन रेनॉल्ड्स का 1980 का पेपर था , जिसमें श्रेणी थ्योरी टू डिज़ाइन इंप्लिमेंट कन्वर्सेशन एंड जेनेरिक ऑपरेटर्स का उपयोग किया गया था , जो दर्शाता है कि आप कैसे एक स्पष्ट शब्दार्थ को प्रणाली की व्यवस्था के लिए दे सकते हैं और यह सुनिश्चित करने के लिए उपयोग कर सकते हैं कि यह सुसंगत है।

यदि आप अमीर (जैसे, आश्रित) प्रकार के सिद्धांतों के लिए सहज उप-लेखन में रुचि रखते हैं, तो ज़ोहोई लुओ गो-टू आदमी है।


जॉन रेनॉल्ड्स पेपर बहुत अच्छा लग रहा है, धन्यवाद! (मैंने फिलिप वडलर को एक बार कहा था कि जॉन रेनॉल्ड्स शोध में समय से लगभग 10 साल आगे हैं ...) मैं वास्तव में झाउहुई लुओ से परिचित हूं, लेकिन मैंने उनसे जो पढ़ा है, वह मुख्य रूप से सिर्फ साथ काम करना प्रतीत होता है सिद्धांत टाइप करें और अन्य कोणों की खोज न करें।
डेरियस जहानार्डी
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.