type-signature

5गर्मी

3उत्तर

एक Combinator के प्रकार के हस्ताक्षर इसके समकक्ष लैम्ब्डा समारोह के प्रकार के हस्ताक्षर से मेल नहीं खाता

इस Combinator पर विचार करें: S (S K) तर्कों को लागू करें XY:: S (S K) X Y यह करने के लिए अनुबंध X Y मैंने एस (एसके) को इसी लैम्ब्डा शर्तों में परिवर्तित कर दिया और परिणाम मिला: (\x y -> x y) म

haskell lambda-calculus combinators type-signature combinatory-logic 2012-03-06

---

13गर्मी

4उत्तर

हास्केल में उदाहरण घोषणाओं में एक प्रकार का हस्ताक्षर क्यों नहीं लगाया जा सकता है?

मुझे अपने कोड में सभी शीर्ष-स्तरीय परिभाषाओं के लिए प्रकार हस्ताक्षर रखना पसंद है। हालांकि, उदाहरणों में घोषणाओं को टाइप करने की अनुमति नहीं दी जाती है, और यदि मैं एक डालता हूं तो मुझे जीएचसी से "गलत

haskell instance typeclass type-signature 2011-12-03

---

6गर्मी

1उत्तर

हास्केल के "शायद" का उपयोग करके, घोषणाएं टाइप करें [शुरुआती प्रश्न]

मैंने हास्केल के साथ प्रयोग करना शुरू कर दिया है और समस्या है। qqq एक ऐसा फ़ंक्शन है जिसे "कुछ भी नहीं" कहा जाता है और "बस कुछ" के साथ बुलाए जाने पर अन्य चीजों को प्रिंट करने के लिए एक स्ट्रिंग मुद्रि

haskell nothing maybe type-signature 2011-07-16

---

20गर्मी

4उत्तर

क्लॉज में टाइप हस्ताक्षर का उपयोग करना इतना असामान्य क्यों है?

क्या यह संकलक को अनुकूलित करने में मदद करता है, या यह अतिरिक्त प्रकार के हस्ताक्षर जोड़ने के लिए बस अधिशेष काम करता है? उदाहरण के लिए, एक अक्सर देखता है: foo :: a -> b foo x = bar x where bar x

haskell where-clause type-signature 2012-05-15

---

5गर्मी

1उत्तर

प्रकार हस्ताक्षर प्रकार, आदि

तुम कैसे सादे अंग्रेजी में निम्न प्रकार के हस्ताक्षर निर्धारित करना होगा: Ord a => ... Eq a => ... Num a => ... आप इन का अर्थ का वर्णन किया जा सका है और मुझे पता है कि मतभेद (हैं मैं कैसे के माम

haskell types type-signature 2011-06-15

---