applicative

11गर्मी

2उत्तर

के साथ आवेदकों को फ़ंक्शन कैसे लिखें स्केलज़ 6 सीखते समय, मैं टाइप-सुरक्षित पाठकों को सत्यापन वापस करने की कोशिश कर रहा हूं। यह मेरा नया प्रकार हैं: type ValidReader[S,X] = (S) => Validation[NonEmptyL

15गर्मी

1उत्तर

साझा पैरामीटर पास करने के लिए कौन सा आवेदक फंक्टर का उपयोग किया जाता है?

मुझे लगता है कि मैं समझता हूं कि कैसे आवेदक फ़ैक्टर हास्केल में काम करते हैं और मैं उन्हें मूल डेटाटाइप (शायद, या तो ...) के लिए उपयोग कर रहा हूं। withPool pool = bracket (takeConn pool) (putConn pool

72गर्मी

1उत्तर

टाइपक्लास मोनाडप्लस, वैकल्पिक, और मोनॉयड के बीच भेद?

मानक पुस्तकालय हास्केल MonadPlus, Alternative, और Monoid typeclasses प्रत्येक मूलतः एक ही अर्थ विज्ञान के साथ दो तरीकों प्रदान करते हैं: एक खाली मूल्य: mzero, empty, या mempty। एक ऑपरेटर a -> a -> a ज

9गर्मी

4उत्तर

हास्केल में विलय/संलग्न जस्ट्स

मैं ऐसा करने की कोशिश कर रहा हूं जो हास्केल में अंधेरे से स्पष्ट होना चाहिए, जो Just [1] और Just [2] से Just [1, 2] पर जा रहा है। हालांकि मुझे कुछ भी ऑनलाइन नहीं मिल रहा है क्योंकि मैं संबंधित लेकिन अ

7गर्मी

3उत्तर

के बारे में बताएं scalaz-सात

मैं scalaz-seven में traverseImpl कार्यान्वयन को समझने के लिए कोशिश कर रहा हूँ में Traverse [सूची] कार्यान्वयन: def traverseImpl[F[_], A, B](l: List[A])(f: A => F[B])(implicit F: Applicative[F]) = {

10गर्मी

2उत्तर

नियंत्रण आयात क्यों करता है। अनुप्रयोग इस खराब कोड को चेक टाइप करने की अनुमति देता है?

मैं एक दोस्त को हास्केल सीखने में मदद कर रहा हूं और उसने हाल ही में इस तरह का कोड बनाया है, जो रनटाइम पर एक सीपीयू-बर्निंग लूप जांचता है और बनाता है। मैं इस से पूरी तरह से परेशान हूँ। import Control.M

53गर्मी

5उत्तर

मोनैडिक पार्सिंग पर आवेदक पार्सिंग के क्या फायदे हैं?

ऐसा सर्वसम्मति प्रतीत होता है कि आपको एक मोनड के बजाय पारसीक को आवेदक के रूप में उपयोग करना चाहिए। मोनैडिक पार्सिंग पर आवेदक पार्सिंग के क्या फायदे हैं? शैली प्रदर्शन अमूर्त monadic पार्स बाहर है?

15गर्मी

2उत्तर

कैसे दिखाया जाए कि एक मोनड एक मजेदार और आवेदक मज़ेदार है?

मोनाड सैद्धांतिक रूप से मज़दूरों और विशेष रूप से आवेदक फंक्शंस का उप-समूह माना जाता है, भले ही यह हास्केल के प्रकार प्रणाली में इंगित न हो। है कि एक इकाई को जानने का, दिया जाता है और return और bind, क

8गर्मी

1उत्तर

आवेदन के लिए ghci विशेष मामला?

GHCi में: λ> :t (pure 1) (pure 1) :: (Applicative f, Num a) => f a λ> show (pure 1) <interactive>:1:1: No instance for (Show (f0 a0)) arising from a use of `show' Possible fix: add

6गर्मी

2उत्तर

राज्य और अन्य एमटीएल monads के लिए आवेदक उदाहरण?

Control.Applicative के लिये दस्तावेज को देखते हुए, मैं वे कुछ monads (जैसे IO, Maybe और विशेष रूप से ST) के लिए उदाहरण घोषणाओं है कि नोटिस, लेकिन ऐसी State और RWS रूप MTL monads के लिए कोई उदाहरण नहीं