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

रियल वर्ल्ड हास्केल, अध्याय 4, प्रिंट के पेज 98 में पूछा गया है कि wordsक्या सिलवटों का उपयोग करके इसे लागू किया जा सकता है, और यह मेरा सवाल भी है: क्या यह संभव है? यदि नहीं, तो क्यों? अगर है, तो कैसे? मैं निम्नलिखित के साथ आया था, जो …

14 haskell  functional-programming  fold 

जब की गणना IO (IO ()), दोनों (IO ())और ()गणना की जाती है, तो क्यों main :: IO (IO ()) main = print <$> (print "Hello, World!") प्रिंट "Hello, World!" नहीं IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

मैं हास्केल लाइब्रेरी के प्रतिबंधित खंड में भटक रहा था और इन दो विले मंत्रों को पाया: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO …

13 haskell  io  unsafe  unsafe-perform-io 

जब मैं टाइप करता हूँ, ghci में :t (-) यह जानने के लिए कि (-)यह किस प्रकार का है (-) :: Num a => a -> a -> a हालाँकि, जब मैं लिखता हूं तो -1हैसेल एक नंबर देता है, जो कि लगता है कि (-)प्रकार का है Num a …

12 haskell 

seasonसमारोह बीजीय कार्यों का उपयोग करता है, लेकिन मुझे लगता है कि कोड की तरह दोहराव है। मैं इसे यथासंभव छोटा कैसे बनाऊं? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) …

12 haskell  algebraic-data-types 

यह वह कोड है जो मैं कहीं पर आया था लेकिन जानना चाहता हूं कि यह कैसे काम करता है: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) आउटपुट: findIndices (== …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

GHCi नीचे गलत उत्तर क्यों देता है? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 अद्यतन मैं हास्केल (^) फ़ंक्शन को निम्नानुसार लागू करेगा। powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) …

12 haskell  floating-point  ghc  ghci 

जैसा कि शीर्षक कहता है: हास्केल फ़ंक्शन रिटर्निंग यूनिट के मूल्यांकन की क्या गारंटी है? कोई सोचता है कि इस तरह के मामले में किसी भी तरह के मूल्यांकन को चलाने की कोई आवश्यकता नहीं है, कंपाइलर ऐसे सभी कॉल को तत्काल ()मूल्य के साथ बदल सकता है जब तक …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

जैसा कि स्टेट मोनड को प्रोडक्ट (लेफ्ट - फनकार) और रीडर (राइट - रिप्रजेंटेबल) में फैक्टर किया जा सकता है। कंटिन्यूएशन मोनाड को फैक्ट करने का एक तरीका है? नीचे कोड मेरी कोशिश है, जो टाइप चेक नहीं करेगा -- To form a -> (a -> k) -> k {-# …

11 haskell  monads  continuations  category-theory  comonad 

मैं कुछ हिस्सों के साथ एक ड्राइंग पैकेज लिख रहा हूं, और मेरे पास ऑपरेटर और डेटा प्रकार बिखरे हुए हैं। हालाँकि, मैं नहीं चाहता कि उपयोगकर्ता हर बार इसी मॉड्यूल को जोड़े, क्योंकि यह काफी गन्दा होगा, उदाहरण के लिए मेरे पास एक Pointवर्ग, एक Monoidभूमिका और Styleविभिन्न रास्तों …

11 haskell  raku 

मेरे पास एक प्रकार है Id aऔर मैं गलती से जोर-जबरदस्ती को रोकने की कोशिश कर रहा हूं, जैसे, a Id Doubleसे a Id Int। यदि मैं टाइप रोल्स को सही तरीके से समझता हूं, तो निम्नलिखित को संकलित नहीं करना चाहिए। {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type …

11 haskell  roles  coerce 

मैं एक एफ # फ़ंक्शन बनाने की कोशिश कर रहा हूं intजो मनमाने ढंग से नेस्टेडनेस की सूची की राशि लौटाएगा । अर्थात। यह a list<int>, a list<list<int>>और a के लिए काम करेगा list<list<list<list<list<list<int>>>>>>। हास्केल में मैं कुछ इस तरह लिखूंगा: class HasSum a where getSum :: a -> Integer …

10 haskell  f# 

मैं हास्केल में अस्तित्व के प्रकारों को समझने की कोशिश कर रहा हूं और एक पीडीएफ http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf आया कृपया अब तक की मेरी समझ को कम करें। अस्तित्वगत प्रकारों में उनकी रुचि के प्रकार नहीं प्रतीत होते हैं, लेकिन उनका मिलान करने वाले पैटर्न कहते हैं कि कुछ प्रकार मौजूद …

10 haskell  gadt  existential-type 

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

10 haskell  typeclass  derived-class  quantified-constraints 

मैं एक बहुत ही अजीब व्यवहार देख रहा हूं, जहां हास्केल का bracketकार्य अलग-अलग व्यवहार कर रहा है stack runया नहीं, stack testयह निर्भर करता है। निम्नलिखित कोड पर विचार करें, जहां डॉक कंटेनर को बनाने और साफ करने के लिए दो नेस्टेड ब्रैकेट का उपयोग किया जाता है: module …

10 haskell  haskell-stack