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

मैं थोड़ी देर के लिए एफ # में देव कर रहा हूं और मुझे यह पसंद है। हालाँकि, मुझे पता है कि F # में मौजूद एक buzzword उच्च-प्रकार के प्रकार नहीं है। मैंने उच्च-स्तरीय प्रकारों पर सामग्री पढ़ी है, और मुझे लगता है कि मैं उनकी परिभाषा को समझता …

88 scala  haskell  types  f#  higher-kinded-types 

बंद हो गया । यह सवाल राय आधारित है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि इस पोस्ट को संपादित करके तथ्यों और उद्धरणों के साथ उत्तर दिया जा सके । 2 साल पहले बंद हुआ …

88 compiler-construction  haskell  ocaml  functional-programming 

हास्केल कोड का यह टुकड़ा बहुत धीमी गति से चलता है-O , लेकिन गैर-खतरनाक-O होना चाहिए । क्या कोई मुझे बता सकता है कि क्या हुआ? यदि यह मायने रखता है, तो यह इस समस्या को हल करने का एक प्रयास है , और यह द्विआधारी खोज और लगातार खंड …

87 haskell  optimization  ghc  compiler-bug 

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

87 haskell  types  functional-programming  logic  agda 

मैं प्रलेखन के लिए थोड़ा उलझन में था fix(हालांकि मुझे लगता है कि मैं समझता हूं कि यह अब क्या करना चाहिए), इसलिए मैंने स्रोत कोड को देखा। इसने मुझे और भ्रमित कर दिया: fix :: (a -> a) -> a fix f = let x = f x in …

87 haskell  fixpoint-combinators  letrec 

GHCi में: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: पहले एक नेस्टेड अपवाद क्यों नहीं है?

86 exception  haskell 

मैं एक fromस्टेटमेंट से एसक्यूएल स्ट्रिंग उत्पन्न करने के लिए एस्केलेटो कैसे प्राप्त कर सकता हूं ? दस्तावेज़ का toRawSqlकहना है कि "आप बस निरंतर की लॉगिंग चालू कर सकते हैं"। मैंने इसके सभी संभावित रूपों की कोशिश की, MonadLoggerजिसे मैं समझ सकता था, लेकिन इसने कभी किसी SQL को …

86 haskell  yesod  esqueleto 

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

86 haskell  ghc  typeclass 

मैं समझने की कोशिश कर रहा हूँ कि इस हास्केल कोड में डॉट ऑपरेटर क्या कर रहा है: sumEuler = sum . (map euler) . mkList संपूर्ण स्रोत कोड नीचे है। मेरी समझ डॉट ऑपरेटर दो कार्यों sumऔर इनपुट map eulerके परिणाम के mkListरूप में परिणाम ले रहा है । …

86 haskell  syntax  function-composition 

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

85 haskell  programming-languages 

दिया : 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 

मैंने Haskell के इस छोटे से हिस्से को यह पता लगाने के लिए लिखा कि GHC यह कैसे साबित करता है कि प्राकृतिक संख्या के लिए, आप केवल यहां तक ​​कि आधा कर सकते हैं: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | …

84 haskell  ghc  proof  haskell-platform  formal-verification 

(मुझे आशा है कि यह प्रश्न विषय-विषय है - मैंने उत्तर की खोज करने की कोशिश की, लेकिन निश्चित उत्तर नहीं मिला। यदि ऐसा ऑफ-टॉपिक हो या पहले से उत्तर दिया गया हो, तो कृपया इसे हटा दें / हटा दें।) मुझे याद है कि हास्केल के बारे में आधा-चुटकुला …

84 haskell  imperative-programming 

goहास्केल सामग्री या स्रोत को पढ़ते समय मैं बहुत कुछ देखता हूं , लेकिन मैं वास्तव में इसके बारे में कभी भी सहज नहीं रहा हूं - (मुझे लगता है कि मेरे दिमाग में "गोटो" का नकारात्मक अर्थ है)। मैं LYAH साथ हास्केल सीखने शुरू कर दिया, और कहा कि …

83 haskell  naming-conventions 

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

83 haskell  functional-programming  typeclass  applicative  monoids