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

मैं हाल ही में उन स्थितियों में भाग रहा हूं, जहां मुझे एक अन्य समारोह में एक विधेय समारोह पास करने की आवश्यकता है, और अक्सर मैं जो तर्क ढूंढ रहा हूं, वह अनिवार्य रूप से "क्या यह मूल्य इस पैटर्न से मेल खाता है?" घोषणाओं, doब्लॉकों और सूची बोध …

10 haskell 

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

10 haskell  typeclass  functional-dependencies  type-level-computation 

हाल ही में, मैंने हास्केल सीखना शुरू कर दिया क्योंकि मैं कार्यात्मक प्रोग्रामिंग पर अपने ज्ञान को व्यापक बनाना चाहता था और मुझे कहना होगा कि मैं वास्तव में अब तक इसे प्यार कर रहा हूं। वर्तमान में मैं जिस संसाधन का उपयोग कर रहा हूं, वह प्लुरलसाइट पर 'हास्केल …

10 haskell 

नीचे दिए गए 3 फ़ंक्शन हैं जो एक सूची में अंतिम लेकिन दूसरा तत्व ढूंढते हैं। एक का उपयोग last . initबाकी की तुलना में बहुत तेज लगता है। मुझे पता नहीं क्यों लग सकता है। परीक्षण के लिए, मैंने [1..100000000](100 मिलियन) की इनपुट सूची का उपयोग किया । अंतिम …

10 haskell 

मैं वर्तमान में एक फ़ंक्शन के साथ काम कर रहा हूं जो इस प्रकार है: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) दूसरे शब्दों में, एक सूची दी गई है, यह किसी चीज़ के लिए पहले छह तत्वों का उपयोग करता है, …

10 haskell  pattern-matching 

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

मेरे पास यह (अजीब तरह से) कोड है जो लेंस और 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 

ApplicativeTypeclass का प्रतिनिधित्व करता है ढीला monoidal functors कि आपके द्वारा लिखे गए कार्यों की श्रेणी पर कार्तीय monoidal संरचना की रक्षा। दूसरे शब्दों में, (,)एक सांध्यात्मक संरचना को देखते हुए विहित आइसोमोर्फिम्स दिए गए हैं : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> …

9 haskell  functor  applicative  category-theory 

एक पैटर्न जो अब मैं कई बार आ चुका हूं, वह है जहां मूल्यों की एक सूची की जांच की जाती है ताकि उस पर कुछ परीक्षण मैप करके और यह देखा जा सके कि कोई भी या सभी तत्व पारित हो गए हैं या नहीं। विशिष्ट समाधान सिर्फ सुविधाजनक …

9 haskell  testing  concurrency  parallel-processing  any 

मैं कुछ चिड़चिड़ी चीजों पर ठोकर खाई है। मुझे पता है कि हैक्सेल कमजोर सिर सामान्य रूप (WHNF) के साथ काम करता है और मुझे पता है कि यह क्या है। निम्नलिखित कोड को ghci में टाइप करना (मैं कमांड का उपयोग कर रहा हूं: स्प्रिंट जो कि मेरी जानकारी …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

मैं हास्केल सीख रहा हूं और यसोद के लिए एक साधारण डीबी-बीज कार्यक्रम कर रहा था जब मैं इस व्यवहार पर ठोकर खाई, जो मुझे लगता है: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Yesod GHCI सत्र: $ …

9 haskell  traversal 

( इस सवाल के मेरे जवाब से प्रेरित होकर ।) इस कोड पर विचार करें (यह किसी दिए गए इनपुट से कम या उसके बराबर का सबसे बड़ा तत्व ढूंढना है): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess …

9 haskell  lazy-evaluation  dry 

मैं कुछ अलग तरह के राज्यों के साथ राज्य मशीनों के एक परिवार को परिभाषित करने की कोशिश कर रहा हूं। विशेष रूप से, अधिक "जटिल" राज्य मशीनों में राज्य होते हैं जो सरल राज्य मशीनों के राज्यों को मिलाकर बनते हैं। (यह ऑब्जेक्ट ओरिएंटेड सेटिंग के समान है जहां …

9 haskell  state  monads  monad-transformers  state-monad 

ये बराबर क्यों नहीं हैं? show $ if someCondition then someInt else some double तथा if someCondition then show someInt else show someDouble मैं समझता हूं कि यदि आप if ... elseपहले उदाहरण में भाग को एक अभिव्यक्ति से अलग करते हैं तो आप उसके प्रकार को एक अनाम राशि …

9 haskell  compiler-construction  language-features  typechecking