constraint-kinds

6गर्मी

1उत्तर

दर्रा मैं हास्केल में निम्नलिखित की तरह एक डेटा प्रकार है जब: : data A ctx = A (forall a. ctx a => a -> a) तब मैं कार्यों है कि इस डेटाप्रकार में किसी वर्ग के प्रकार के मूल्यों पर काम डाल सकते हैं >

8गर्मी

2उत्तर

किस तरह हस्ताक्षर

में बाधा अगर मैं Maybe की kind का निरीक्षण किया है मैं इस मिल: λ> :k Maybe Maybe :: * -> * अब, अगर मैं Monad की तरह का निरीक्षण मैं इस मिल: λ> :k Monad Monad :: (* -> *) -> Constraint Constraint

20गर्मी

1उत्तर

जीएचसी 7.4.1 के लिए बाधा प्रकार वाक्यविन्यास क्या है?

मैं एक त्रुटि है कि Constraint दायरे में नहीं है हो रही है, जब मैं एक साधारण उदाहरण के लिखने की कोशिश, {-# LANGUAGE UndecidableInstances, MultiParamTypeClasses, KindSignatures, Ra

5गर्मी

1उत्तर

न्यूमेरिक.एडी कार्यों में स्वीकार्य प्रकार

मुझे ad पैकेज में शामिल प्रकारों की मूल नलसाजी के चारों ओर अपने सिर को लपेटने में बहुत कम सफलता हो रही है। उदाहरण के लिए, निम्नलिखित पूरी तरह से काम करता है: import Numeric.AD ex :: Num a => [a] ->

13गर्मी

1उत्तर

आइटम पर एंड्रॉइड एक्शन बार कस्टम ड्रॉपडाउन व्यू

मैं टैबलेट के लिए एक एंड्रॉइड ऐप लिख रहा हूं। मैं अपने आइकन बनाने के लिए एक्शन बार के साथ गया हूं। हालांकि, मेनू आइटम में से किसी एक पर क्लिक होने पर मुझे कस्टम दृश्य खोलने की आवश्यकता है। मुझे कस्टम

6गर्मी

1उत्तर

की कमी बाधा

मैं निम्नलिखित लिख सकते हैं: {-# LANGUAGE RankNTypes #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ConstraintKinds #-} f :: Integral a => (forall b. Nu

5गर्मी

1उत्तर

बाधाओं का प्रकार और 'सीमित' बाधाओं वाले परिवारों का प्रकार

मैं एक आवेदक मज़ेदार पर काम कर रहा हूं जिसमें निष्पादन को "देखने" के लिए एक मोनॉयड शामिल है। हालांकि, कभी-कभी मुझे इस हिस्से की परवाह नहीं है, इसलिए मोनोइड की पसंद अप्रासंगिक है क्योंकि इसे कभी भी उपभ

6गर्मी

1उत्तर

संकुचन प्रकार

के साथ पॉलिमॉर्फिक STUArrays Revisiting मैं स्कोर प्रकार में एक गतिशील प्रोग्रामिंग एल्गोरिदम polymorphic लागू करना चाहते हैं; यहां कोई सरलीकृत 1 डी संस्करण नहीं है जिसमें सीमा सीमा नहीं है: {-# LANGU