type-constraints

18गर्मी

2उत्तर

रिफ्लेक्सिव प्रकार पैरामीटर बाधाएं: एक्स <T> जहां टी: एक्स <T> - कोई आसान विकल्प?

हर बार मैं एक आत्म-संदर्भ ("रिफ्लेक्सिव") टाइप पैरामीटर बाधा जोड़कर एक सरल इंटरफ़ेस को और अधिक जटिल बना रहा हूं। उदाहरण के लिए, मैं इस बदल सकता: में interface ICloneable { ICloneable Clone(); }

c# generics crtp self-reference type-constraints 2012-01-14

---

9गर्मी

3उत्तर

क्या सी # जेनेरिक विधि प्रकार पैरामीटर को "क्लास 'टाइप पैरामीटर के" असाइन करने योग्य "के रूप में बाध्य करना संभव है?

मुझे लगता है जवाब नहीं है, लेकिन मैं जानना चाहता हूँ अगर यह कुछ इस तरह करने के लिए संभव है: public class MyGenericClass<TSomeClass> { public void MyGenericMethod<TSomeInterface>() // This d

c# generics type-constraints 2012-06-29

---

5गर्मी

2उत्तर

ओकैमल: हस्ताक्षर में टाइप बाधाएं

मेरे कोड में, मेरे पास डेटाबेस पहुंच संदर्भ है जो CouchDB.ctx नामक प्राथमिक पढ़ने/लिखने के संचालन प्रदान करता है। मेरे आवेदन में विभिन्न मॉड्यूल तब उस वर्ग को अतिरिक्त कार्यक्षमता के साथ बढ़ाते हैं, ज

types ocaml signature type-constraints 2012-05-14

---

5गर्मी

1उत्तर

एक शून्य जांच क्यों F # में समानता बाधा का कारण बनती है?

यदि सामान्य प्रकार की तुलना null (और केवल null के साथ) की तुलना में की जाती है, तो यह संकलक को प्रकार को कम करने योग्य (जो ठीक है) और समान समझा जा सकता है। उत्तरार्द्ध क्यों? ऐसा लगता है कि null के सा

f# type-constraints 2012-10-26

---

6गर्मी

2उत्तर

"कक्षा ए: IX" से सामान्य "टी कहां टी: IX" की अनुमति क्यों नहीं है?

निम्नलिखित संकलन त्रुटि का कारण क्यों है? interface IX {} interface IY {} class XY : IX, IY {} void Foo<T>() where T : IX, IY { T xy = new XY(); … // ^^^^^^^^ } // error: "Implicit co

c# generics type-conversion type-constraints 2012-02-24

---

8गर्मी

2उत्तर

विधि हस्ताक्षर का बाधा हिस्सा क्यों नहीं हैं?

तो मैंने Eric Lippert's 'Constraints are not part of the signature' पढ़ा, और अब मैं समझता हूं कि स्पेक निर्दिष्ट करता है कि ओवरलोड रिज़ॉल्यूशन के बाद उस प्रकार की बाधाओं की जांच की जाती है, लेकिन मुझे

c# generics overload-resolution type-constraints nested-generics 2012-02-25

---

11गर्मी

1उत्तर

मैं लॉजिकल या हास्केल में दो प्रकार की बाधाओं को कैसे जोड़ सकता हूं?

हास्केल में हमें लॉजिकल के साथ प्रकारों पर बाधाओं को संयोजित करने की क्षमता दी जाती है। पर विचार करें type And (a :: Constraint) b = (a, b) निम्नलिखित या अधिक complicatedly class (a, b) => And a b

haskell typeclass type-constraints 2012-04-21

---

8गर्मी

1उत्तर

बाधाओं पर समानता

मूल रूप से, {-# LANGUAGE PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (और अधिक, यदि आवश्यक हो) दिया गया है, (~) प्रकार-स्तर ऑपरेटर प्रकार Constraint के प्रकार-स्तर अभिव्यक्तियों पर काम करता है?

haskell polymorphism type-constraints 2012-03-08

---

9गर्मी

2उत्तर

डिफ़ॉल्ट बाधाओं को अनदेखा किया जाता है

डिफ़ॉल्ट बाधा को परिभाषित करते समय मुझे एक अजीब समस्या का सामना करना पड़ा। यदि एक बाधा इकाई है, तो डिफ़ॉल्ट उदाहरण चुना नहीं जाता है। अन्य सभी मामलों में, यह अपेक्षित के रूप में काम करता है। {-# LANGU

haskell default type-constraints 2012-04-30

---

7गर्मी

2उत्तर

Enum <? फैली इंटरफ़ेस>

मैं की तरह enums कि एक आम इंटरफ़ेस विस्तार का एक संग्रह है, तो कुछ है करने के लिए प्रयास कर रहा हूँ: interface Fooable { void someCommonMethod(); } enum E1 implements Fooable { // some

java interface enums type-constraints 2012-08-10

---