higher-kinded-types

5गर्मी

1उत्तर

पैटर्न पर मिलान प्रचारित प्रकार

हम तरह * के पैरामीटर के लिए एकल, व्यापक उदाहरणों लिख सकते हैं: class MyClass d where f :: d -> Int instance MyClass (Maybe d) where f _ = 3 test1 :: Maybe d -> Int test1 x = f x यह ठी

haskell pattern-matching higher-kinded-types type-kinds 2013-02-13

---

5गर्मी

2उत्तर

क्यों नाम एक प्रकार का बनाते हैं न कि सिर्फ एक प्रकार?

कुछ समय पहले हास्केल एक्सटेंशन में से एक में (लिंक नहीं मिल सकता), और recently in Ur मुझे पता चला है कि नाम (उदाहरण के लिए, रिकॉर्ड फ़ील्ड) एक प्रकार का बना है। क्या कोई समझा सकता है कि टाइप अबास्ट्रक

haskell functional-programming type-systems language-theory higher-kinded-types 2012-04-24

---

5गर्मी

1उत्तर

अजीब प्रकार मेल नहीं खाता जब निकालने

प्रकार A के तत्वों और एक अन्य प्रकार A में parametrised के साथ एक टपल को देखते हुए के बजाय सदस्य पहुँच का उपयोग करते हुए: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writ

scala existential-type higher-kinded-types 2012-03-07

---

12गर्मी

3उत्तर

आंशिक रूप से लागू करने के प्रकार पैरामीटर

मैं सख्त निम्नलिखित हल करने के लिए कोशिश कर रहा हूँ: trait Access[Res[_]] { def access[C]: Res[C] } trait CList[C1, A] extends Access[CList[_, A]] // ?! def test[C1, C2, A](c: CList[C1, A]): CList

scala higher-kinded-types 2011-04-03

---

10गर्मी

2उत्तर

उच्च प्रकार के प्रकार

के साथ संदर्भ सीमा शॉर्टकट उच्च प्रकार के प्रकार के साथ संदर्भ सीमा सिंटैक्स शॉर्टकट का उपयोग करना संभव है? trait One { def test[W : ClassManifest]: Unit } // first-order ok trait Two { def test[W[_]

scala higher-kinded-types context-bound 2011-04-04

---

7गर्मी

2उत्तर

हास्केल

में पूर्णांक द्वारा पैरामीटरेटिंग प्रकार मैं कुछ हास्केल प्रकार बनाने की कोशिश कर रहा हूं जो पैरामीटर द्वारा प्रकार के नहीं हैं बल्कि एक प्रकार के तत्वों, विशेष रूप से, पूर्णांक हैं। उदाहरण के लिए, आर

haskell kdtree algebraic-data-types higher-kinded-types 2011-09-01

---

6गर्मी

2उत्तर

उच्च ऑर्डर पॉलीमोर्फिज्म + वैल्यू टाइप

मैंने कहीं पढ़ा है कि उच्च ऑर्डर पॉलीमोर्फिज्म का उपयोग टाइप सिस्टम में (.NET की तरह) के साथ नहीं किया जा सकता है। क्या यह सही है और क्यों?

generics types higher-order-functions value-type higher-kinded-types 2011-04-05

---

5गर्मी

1उत्तर

जावा 6 में मोनड व्यक्त करने का सामान्य मामला है?

जावा 6 में मोनड व्यक्त करने का सामान्य मामला है? "सामान्य मामला" शब्द नोट करें — यह संभव हो सकता है कि मोनड का सामान्य मामला स्पष्ट नहीं है, हालांकि मोनड के कई विशेष मामले (यानी कई विशिष्ट मोनैड) स्पष

java generics haskell monads higher-kinded-types 2012-11-25

---

7गर्मी

4उत्तर

'कक्षा ए [_]' के लिए उपयोगी क्या है?

प्रतीकों के प्रकार class A[_] या def a[_](x: Any) में एक प्रकार का पैरामीटर है जिसे शरीर में संदर्भित नहीं किया जा सकता है, इस प्रकार मैं नहीं देखता कि यह कहां उपयोगी है और यह क्यों संकलित करता है। एक

scala higher-kinded-types 2012-10-08

---

52गर्मी

2उत्तर

मूल्य, प्रकार, प्रकार, ... अनंत अनुक्रम के रूप में?</strong></p> <pre><code>3 :: Int [1,2,3] :: [Int] ('c',True) :: (Char,Bool) </code></pre> <p><strong>प्रकार:

मैं केवल प्रकार की अवधारणा से परिचित हो, तो अगर मैं अपने सवाल अच्छी तरह से तैयार नहीं कर रहा हूँ मेरे साथ सहन करने के लिए शुरू कर रहा हूँ ... मान प्रकार है प्रकार है: the type 'Int' has kind * the ty

scala haskell functional-programming higher-kinded-types 2013-01-18

---