«ghc» etiketlenmiş sorular

Mevcut davranış 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 

Bu Haskell kodu parçası ile çok daha yavaş çalışır -O, ancak tehlikeli-O olmamalıdır . Biri bana ne olduğunu söyleyebilir mi? Önemliyse, bu sorunu çözme girişimidir ve ikili arama ve kalıcı bölüm ağacı kullanır: import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch Int Node Node -- …

87 haskell  optimization  ghc  compiler-bug 

Haskell uygulamamı bu -Wallseçenekle derlerken , GHC öksüz örneklerden şikayet ediyor, örneğin: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Tür sınıfı ToSElembenim değil, HStringTemplate tarafından tanımlandı . Şimdi bunu nasıl düzelteceğimi biliyorum (örnek bildirimini Sonucun bildirildiği modüle taşıyın) ve GHC'nin neden öksüz örneklerden kaçınmayı tercih ettiğini biliyorum , ancak yine …

87 haskell  ghc  typeclass 

Verilen : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Şunun Stringbir örneğini yapmak istiyorum Fooable: instance Fooable String where toFoo = FooString GHC daha sonra şikayet ediyor: Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

Bu küçük Haskell parçasını, GHC'nin doğal sayılar için yalnızca çiftleri yarıya indirebileceğinizi nasıl kanıtladığını anlamak için yazdım: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Happstack Lite beni kırıyor çünkü blaze-html 0.5 sürümünü alıyor ve 0.4 sürümünü istiyor. Cabal, 0.4.3.4 ve 0.5.0.0 sürümlerinin her ikisinin de kurulu olduğunu söylüyor . 0.5.0.0'ı kaldırmak ve sadece eski sürümü kullanmak istiyorum. Ama Cabal "Kaldır" komutunu var ve çalışırken değil ghc-pkg unregister --force blaze-html, ghc-pkgbenim komut göz ardı kaydedildiği …

82 haskell  ghc  cabal 

GHCi neden aşağıda yanlış cevap veriyor? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 GÜNCELLEME Haskell (^) fonksiyonunu aşağıdaki gibi uygularım. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) | otherwise …

12 haskell  floating-point  ghc  ghci 

Sorun Haskell'de aşağıdaki tasarım sorununu düşünün. Değişkenleri ve genel ifadeleri (çok değişkenli polinomlar) ifade etmek istediğim basit, sembolik bir EDSL var x^2 * y + 2*z + 1. Buna ek olarak, ben ifadeler, diyelim üzerinde belirli sembolik denklemler ifade etmek istiyorum x^2 + 1 = 1, hem de tanımları gibi …

9 haskell  casting  type-conversion  ghc  typeclass