typeclass पर टैग किए गए जवाब

जब मैं हास्केल सीख रहा था, तो मैंने इसके प्रकार की कक्षा पर ध्यान दिया , जो कि हास्केल से उत्पन्न एक महान आविष्कार माना जाता है। हालाँकि, प्रकार वर्ग पर विकिपीडिया पृष्ठ में : प्रोग्रामर फ़ंक्शन या स्थिर नामों के एक सेट को निर्दिष्ट करके, उनके संबंधित प्रकारों के …

112 java  haskell  interface  typeclass 

हास्केल में कोमोनॉड टाइपक्लास क्या है? के रूप में Comonad से Control.Comonad में कोमोनॉड पैकेज (किसी भी अन्य संकुल के स्पष्टीकरण जो कॉमनड टाइपकास्ट प्रदान करते हैं, उनका भी स्वागत है)। मैंने कॉमोनॉड के बारे में अस्पष्ट सुना है, लेकिन मुझे वास्तव में इसके बारे में पता है कि यह …

105 haskell  typeclass  comonad 

बीजीय डेटा प्रकार हास्केल में (ADTS) स्वचालित रूप से कुछ के उदाहरण बन सकता है typeclasse रों (जैसेShow,Eqद्वारा) पाने उन लोगों से। data Maybe a = Nothing | Just a deriving (Eq, Ord) मेरा सवाल है, यह derivingकाम कैसे करता है , यानी हास्केल को कैसे पता है कि व्युत्पन्न …

104 haskell  typeclass  derived-types  derived-instances  deriving 

-Wallविकल्प के साथ मेरे हास्केल एप्लिकेशन को संकलित करते समय, GHC अनाथ उदाहरणों के बारे में शिकायत करता है, उदाहरण के लिए: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result प्रकार वर्ग ToSElemमेरा नहीं है, यह HStringTemplate द्वारा परिभाषित किया गया है । अब मुझे पता है कि इसे कैसे ठीक …

86 haskell  ghc  typeclass 

दिया : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo मैं इसका Stringएक उदाहरण बनाना चाहता हूं Fooable: instance Fooable String where toFoo = FooString GHC फिर शिकायत करता है: Illegal instance declaration for `Fooable …

85 haskell  ghc  typeclass  type-systems 

मानक-पुस्तकालय हास्केल टाइपकास्टेस MonadPlus, Alternativeऔर Monoidप्रत्येक अनिवार्य रूप से एक ही शब्दार्थ के साथ दो तरीके प्रदान करते हैं: एक खाली मूल्य: mzero, empty, या mempty। एक ऑपरेटर a -> a -> aहै कि एक साथ typeclass में मानों मिलती है: mplus, <|>, या mappend। तीनों इन कानूनों को निर्दिष्ट …

83 haskell  functional-programming  typeclass  applicative  monoids 

मात्रात्मक बाधाओं के साथ मैं Eq (A f)बस ठीक व्युत्पन्न कर सकता हूं ? हालांकि, जब मैं ऑर्ड (ए एफ) प्राप्त करने की कोशिश करता है तो यह विफल हो जाता है। मुझे समझ में नहीं आता है कि जब अड़चन वर्ग के पास एक सुपरक्लास है तो मात्रात्मक बाधाओं …

10 haskell  typeclass  derived-class  quantified-constraints 

संघनन के बारे में एक अच्छा सच यह है कि अगर मुझे समीकरण में कोई दो चर पता हैं: a ++ b = c फिर मैं तीसरा जानता हूं। मैं इस विचार को अपने स्वयं के संगीत कार्यक्रम में कैद करना चाहता हूं इसलिए मैं एक कार्यात्मक निर्भरता का उपयोग …

10 haskell  typeclass  functional-dependencies  type-level-computation 

मेरे पास यह (अजीब तरह से) कोड है जो लेंस और GHC.Records का उपयोग करता है : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r …

9 haskell  typeclass  typechecking 

मुसीबत हास्केल में निम्नलिखित डिजाइन समस्या पर विचार करें। मेरे पास एक सरल, प्रतीकात्मक ईडीएसएल है जिसमें मैं चर और सामान्य अभिव्यक्ति (बहुभिन्नरूपी बहुपद) जैसे कि व्यक्त करना चाहता हूं x^2 * y + 2*z + 1। इसके अलावा, मैं अभिव्यक्तियों पर कुछ प्रतीकात्मक समीकरणों को कहना चाहता हूं x^2 …

9 haskell  casting  type-conversion  ghc  typeclass