polymorphism पर टैग किए गए जवाब

बहुत सी पाठ्यपुस्तकों में विषय एफ में कमी और सिस्टम एफ के लिए सामान्य सामान्यीकरण के प्रमाणों को देखना आसान है, कभी-कभी, जोड़े के साथ सिस्टम एफ की परिभाषाएं भी होती हैं, जहां (टी, आर) एक शब्द है, न कि केवल एक एन्कोडिंग। सवाल यह है कि इस प्रणाली का …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

मेरे पास एक भाषा है जिसमें प्रकार डिफ़ॉल्ट रूप से अनबॉक्स किए गए हैं, हिंडले-मिलनर पर आधारित प्रकार के अनुमान के साथ। मैं उच्च-श्रेणी के बहुरूपता को जोड़ना चाहूंगा, मुख्य रूप से अस्तित्वगत प्रकारों के साथ काम करने के लिए। मुझे लगता है कि मैं समझता हूं कि इन प्रकारों …

10 type-theory  type-inference  polymorphism 

प्रश्न निम्नलिखित है। आम तौर पर जब किसी का कार्यकाल होता हैΛX.tΛX.t\Lambda X.t, हम उदाहरण के लिए, इस शब्द को एक प्रकार से लागू करके समाप्त कर सकते हैं(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T]। अब, मान लीजिए कि यह एक तीर है और हम इसे एक तर्क देना चाहते हैं, तो हमें इस …

9 type-theory  polymorphism  type-inference