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

वर्तमान व्यवहार Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell  types  ghc 

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

87 haskell  optimization  ghc  compiler-bug 

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

86 haskell  ghc  typeclass 

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

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

82 haskell  ghc  cabal 

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 

मुसीबत हास्केल में निम्नलिखित डिजाइन समस्या पर विचार करें। मेरे पास एक सरल, प्रतीकात्मक ईडीएसएल है जिसमें मैं चर और सामान्य अभिव्यक्ति (बहुभिन्नरूपी बहुपद) जैसे कि व्यक्त करना चाहता हूं x^2 * y + 2*z + 1। इसके अलावा, मैं अभिव्यक्तियों पर कुछ प्रतीकात्मक समीकरणों को कहना चाहता हूं x^2 …

9 haskell  casting  type-conversion  ghc  typeclass