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

मेरी समझ के अनुसार, आंशिक कार्य ऐसे कार्य हैं जो हमें अपेक्षा से कम फ़ंक्शन से गुजरते हैं। उदाहरण के लिए, यदि यह सीधे पायथन में मान्य थे: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 ऊपर स्निपेट में, new_functionएक आंशिक कार्य है। हालांकि, …

55 python  haskell  functional-programming  partial-application  partial-functions 

मैं वर्तमान में एक प्रोग्रामिंग भाषा के लिए एक साधारण दुभाषिया पर काम कर रहा हूं और मेरे पास एक डेटा प्रकार है: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr और मेरे पास कई कार्य हैं जो सरल काम करते हैं जैसे: …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

मुझे अपने संगीत प्रोजेक्ट में एक छोटे से सौंदर्य मुद्दे का सामना करना पड़ा और यह मुझे कुछ समय के लिए परेशान कर रहा है। मेरे पास एक प्रकार है data Key = C | D | ...और मैं Scaleए Keyऔर ए से निर्माण कर सकता हूं Mode। Modeएक प्रमुख …

39 haskell  dsl 

मॉड्यूल में System.Infoमैं इन कार्यों को देखता हूं: os :: String arch :: String compilerName :: String compilerVersion :: Version वहां क्यों नहीं IOहै? वे सिस्टम तक पहुंच रहे हैं ... क्या मैं गलत हूं? मेरी उम्मीद कुछ इस तरह थी: os :: IO String arch :: IO String compilerName …

25 haskell 

मान लीजिए कि मेरे पास एक पैरामीटर है जो केवल प्रकार प्रणाली के लाभ के लिए मौजूद है, उदाहरण के लिए इस छोटे से कार्यक्रम में: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> …

22 haskell  phantom-types 

मैं हास्केल के आवेदन सीख रहा हूं। यह मुझे लगता है (मैं शायद गलत हूं) कि pureफ़ंक्शन को वास्तव में ज़रूरत नहीं है, उदाहरण के लिए: pure (+) <*> [1,2,3] <*> [3,4,5] के रूप में लिखा जा सकता है (+) <$> [1,2,3] <*> [3,4,5] क्या कोई लाभ बता सकता है …

19 haskell  applicative 

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

18 haskell 

प्रस्ताव (P -> Q) -> Qऔर P \/ Qसमतुल्य हैं। क्या हास्केल में इस समानता को देखने का कोई तरीका है: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> …

18 haskell  logic 

मेरे लिए ऐसा लगता है कि आप हमेशा टाइपकास्ट का उपयोग करने के बजाय फ़ंक्शन तर्क पास कर सकते हैं। उदाहरण के लिए समानता टाइपेकेल को परिभाषित करने के बजाय: class Eq a where (==) :: a -> a -> Bool और इसका उपयोग अन्य कार्यों में टाइप तर्क को …

16 haskell  functional-programming  higher-order-functions 

यह प्रश्न हास्केल कार्यों के बारे में एक सैद्धांतिक प्रश्न है जो किसी भी प्रकार के तर्क ले सकता है। क्या प्रकार के हस्ताक्षरों के साथ कार्य करने के तरीके में अंतर है a -> b -> a तथा c -> a -> c त्वरित हैं? किसी भी मदद की …

16 haskell  functional-programming 

मैं वर्तमान में हास्केल का अध्ययन कर रहा हूं और एक परियोजना को समझने की कोशिश करता हूं जो क्रिप्टोग्राफिक एल्गोरिदम को लागू करने के लिए हास्केल का उपयोग करता है। ऑनलाइन लर्न यू हास्केल फॉर ग्रेट गुड पढ़ने के बाद , मैं उस परियोजना के कोड को समझना शुरू …

15 haskell  symbols  operator-keyword  as-pattern 

एक अभ्यास के रूप में, मैं स्क्रैच से हास्केल के लिए एक पार्सर लिख रहा हूं। लेसर बनाने में, मैंने हास्केल 2010 रिपोर्ट पर निम्नलिखित नियमों को देखा : अंक → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → कोई भी यूनिकोड दशमलव अंक ऑक्टिट → …

15 haskell  syntax  language-lawyer  literals 

कई प्रकार के प्रकाशिकी में एक वैन लाहरोवेन प्रतिनिधित्व है। उदाहरण के लिए, इस Lensप्रकार Lens s t a b का प्रतिनिधित्व किया जा सकता है: Functor f => (a -> f b) -> s -> f t इसी Traversalतरह से, एक समान तरीके से प्रतिनिधित्व किया जा सकता है, …

15 scala  haskell  functional-programming  lenses  monocle-scala 

अपने हास्केल प्रोजेक्ट में जब मैं stack run, यह निम्नलिखित दिखा रहा है, लेकिन अभी भी चलता है। यह क्या चेतावनी है? मुझे इससे कैसे छुटकारा मिल सकता है? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested …

14 haskell  cabal  haskell-stack 

मेरे पास एक व्यायाम है जहां मुझे 0 से 5 मानों के साथ सूची का प्रतिनिधित्व करने के लिए एक प्रकार को परिभाषित करना है। पहले मुझे लगा कि मैं इसे इस तरह पुन: हल कर सकता हूं: data List a = Nil | Content a (List a) लेकिन मुझे …

14 haskell