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

मैं वर्तमान में कंप्यूटर विज्ञान में अपना एमएससी पूरा कर रहा हूं। मुझे प्रोग्रामिंग भाषाओं में दिलचस्पी है, खासकर टाइप सिस्टम में। मुझे इस क्षेत्र में अनुसंधान में दिलचस्पी थी और अगले सेमेस्टर में मैं इस विषय पर पीएचडी शुरू करूंगा। अब यहाँ वास्तविक प्रश्न है: मैं कैसे समझा सकता …

64 programming-languages  education  typing  research 

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

20 typing 

मैं जानना चाहता हूँ कि क्या वैश्विक-मात्रा निर्धारित प्रकार चाहते हैं TaTaT_a : Ta=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\} , एक उप प्रकार, या विशेष मामला है एक existentially-मात्रा निर्धारित की टाइप TeTeT_e समान हस्ताक्षर से: Te=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} मैं कहेंगे …

20 logic  type-theory  typing 

हमारे प्रोफेसर ने हमें OCaml में एक फंक्शन के बारे में सोचने के लिए कहा, जिसमें टाइप है 'a -> 'b यानी एक तर्क का एक कार्य जो कुछ भी हो सकता है, और वह एक अलग चीज को वापस कर सकता है। मैंने raiseऐसे फ़ंक्शन में उपयोग करने के …

19 programming-languages  typing  functional-programming 

मैं एक कार्यान्वयन लिखते समय हिंडले-मिलनर टाइपिंग एल्गोरिथ्म के बारे में पढ़ रहा हूं , और देखें कि जब तक प्रत्येक चर बाध्य है, आपको हमेशा परमाणु प्रकार या प्रकार मिलेंगे जहां तर्क अंतिम प्रकार का निर्धारण करेंगे, जैसे t1 -> t1या (t1 -> t2) -> (t1 -> t2)कहाँ t1और …

14 lambda-calculus  type-theory  typing  type-inference 

मैं एमएल वंशावली की अभिव्यक्ति आधारित भाषा पर काम कर रहा हूं, इसलिए इसे स्वाभाविक रूप से प्रकार की आवश्यकता है> :) अब, मैं ईओपीएल (फ्रीडमैन और वैंड) में एक सरल कार्यान्वयन के आधार पर, प्रकारों की स्थापना की समस्या के लिए एक बाधा-आधारित समाधान का विस्तार करने की कोशिश …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing