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

मैं कुछ वास्तव में सरल, आसानी से समझ में आने वाली योजनाओं और कॉर्सेरशिप योजनाओं (कैटामोर्फिज्म, एनामॉर्फिज्म, हायलोमोर्फिम्स इत्यादि) की व्याख्या कर रहा हूं, जिनके लिए बहुत सारे लिंक का पालन करने की आवश्यकता नहीं है, या एक श्रेणी सिद्धांत पाठ्यपुस्तक खोलने की आवश्यकता नहीं है। मुझे यकीन है कि …

83 haskell  recursion  functional-programming  recursion-schemes 

मुझे आश्चर्य हो रहा है कि JVM (संकलित या व्याख्या) पर हास्केल को चलाने का कोई तरीका है? Sourceforge पर JHaskell मौजूद है लेकिन यह खाली और मृत प्रतीत होता है। जीएचसी एलएलवीएम को संकलक बैकएंड के रूप में उपयोग करता है। क्या यह एक अच्छा विचार है या Java …

83 haskell  jvm  jvm-languages  frege 

किन स्थितियों में liftIOउपयोग किया जाना चाहिए? जब मैं उपयोग कर रहा होता हूं ErrorT String IO, तो liftफ़ंक्शन IO क्रियाओं को ऊपर उठाने का काम करता है ErrorT, इसलिए liftIOयह बहुत ही अच्छा लगता है।

83 haskell  monad-transformers 

हैपस्टैक लाइट मुझ पर टूट रहा है क्योंकि यह ब्लेज़-एचटीएमएल संस्करण 0.5 प्राप्त कर रहा है और यह संस्करण 0.4 चाहता है। कैबल का कहना है कि दोनों संस्करण 0.4.3.4 और 0.5.0.0 स्थापित हैं। मैं 0.5.0.0 को निकालना चाहता हूं और सिर्फ पुराने संस्करण का उपयोग करना चाहता हूं। लेकिन …

82 haskell  ghc  cabal 

यह सर्वविदित है कि एप्लाइड फंक्शनलर्स कंपोजिशन के तहत बंद हैं, लेकिन मोनाड्स नहीं हैं। हालाँकि, मुझे एक ठोस प्रतिधारण दिखाने में परेशानी हो रही है जो दिखा रहा है कि सन्यासी हमेशा रचना नहीं करते हैं। यह उत्तर[String -> a] एक गैर-मठ के एक उदाहरण के रूप में देता …

82 haskell  monads  composition  proof 

मैं GHCi के अंदर इस फ़ंक्शन ( learnyouahaskell से लिया गया ) के बराबर कैसे परिभाषित करूं ? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub प्रकार की घोषणा के बिना, GHCi फ़ंक्शन परिभाषा को स्वीकार करता है, लेकिन यह एक अनहेल्दी प्रकार …

82 haskell  types  ghci  function-declaration 

मैंने इस शब्द को हैसेल और फ़ंक्शनल प्रोग्रामिंग (विशेष रूप से सिगफ़्प के ब्लॉग में ) के बारे में ब्लॉग में बहुत पढ़ा है, लेकिन मेरे पास इसका कोई मतलब नहीं है कि इसका क्या मतलब है। मैं इसे ज्यादातर बार नहीं जानने के साथ दूर हो जाता हूं, लेकिन …

82 haskell  functional-programming  metaprogramming  terminology  reification 

जैसा कि प्रश्न का शीर्षक इंगित करता है, मैं यह जानना चाहता हूं कि लेविस बहुरूपता क्या है और इसकी प्रेरणा क्या है? मुझे पता है कि इस पृष्ठ में कुछ विवरण हैं, लेकिन वहां अधिकांश स्पष्टीकरण मेरे सिर के शीर्ष पर जाते हैं। :) हालांकि यह पृष्ठ थोड़ा मित्रवत …

81 haskell 

मैं हास्केल में कुछ ऐसा करना चाहता हूं जो ऐसा दिखता है: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" जाहिर है कि यह कानूनी नहीं है क्योंकि वहाँ कोई नहीं है else। एक विकल्प जो मैंने सोचा है: nop :: IO () …

81 haskell  syntax  io 

किसी भी कंटेनर प्रकार को देखते हुए हम (तत्व-केंद्रित) जिपर बना सकते हैं और जान सकते हैं कि यह संरचना एक कोमोनड है। यह हाल ही में निम्नलिखित प्रकार के लिए एक और ढेर अतिप्रवाह सवाल में अद्भुत विस्तार से पता लगाया गया था : data Bin a = Branch …

80 haskell  zipper  deriving  comonad 

जैसा कि वर्तमान में खड़ा है, यह प्रश्न हमारे प्रश्नोत्तर प्रारूप के लिए एक अच्छा फिट नहीं है। हम उम्मीद करते हैं कि उत्तर तथ्यों, संदर्भों या विशेषज्ञता द्वारा समर्थित होंगे, लेकिन इस सवाल पर बहस, बहस, मतदान या विस्तारित चर्चा की संभावना होगी। यदि आपको लगता है कि इस …

80 haskell 

क्या कोई मुझे कार्यात्मक लेंस समझा सकता है? यह Google के लिए आश्चर्यजनक रूप से कठिन विषय है और मैंने कोई प्रगति नहीं की है। मुझे पता है कि वे OO की तुलना में समान / सेट कार्यक्षमता प्रदान करते हैं।

80 haskell  functional-programming  lenses 

मुझे एक फ़ंक्शन की आवश्यकता है जो दो Intएस ( aऔर b) प्राप्त करता है और A/Bजैसा कि रिटर्न करता है Int। मुझे यकीन है कि A/Bहमेशा एक पूर्णांक होगा। यहाँ मेरा समाधान है: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a …

79 haskell  int 

में असली दुनिया हास्केल , पर अध्याय 4. कार्यात्मक प्रोग्रामिंग : तह के साथ तह लिखें: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f …

79 haskell  recursion  fold 

मुझे तीन हास्केल कार्यों के उपयोग को समझने में मदद चाहिए कोशिश करो ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) पकड़ना ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) संभाल ( Control.Exception.handle :: Exception e => …

79 haskell  exception-handling