Perguntas com a marcação «ghc»

Comportamento atual 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 

Este pedaço de código Haskell é executado muito mais devagar -O, mas não-O deve ser perigoso . Alguém pode me dizer o que aconteceu? Se for importante, é uma tentativa de resolver este problema e usa pesquisa binária e árvore de segmento persistente: import Control.Monad import Data.Array data Node = …

88 haskell  optimization  ghc  compiler-bug 

Ao compilar meu aplicativo Haskell com a -Wallopção, GHC reclama sobre instâncias órfãs, por exemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result A classe de tipo ToSElemnão é minha, ela é definida por HStringTemplate . Agora eu sei como consertar isso (mover a declaração da instância para o módulo onde …

86 haskell  ghc  typeclass 

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Eu quero fazer Stringuma instância de Fooable: instance Fooable String where toFoo = FooString GHC então reclama: Illegal instance declaration for `Fooable String' (All instance …

85 haskell  ghc  typeclass  type-systems 

Por que o GHCi fornece respostas incorretas abaixo? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ATUALIZAÇÃO Eu implementaria a função de Haskell (^) da seguinte maneira. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 …

12 haskell  floating-point  ghc  ghci 

Problema Considere o seguinte problema de design no Haskell. Eu tenho um EDSL simbólico simples, no qual quero expressar variáveis ​​e expressões gerais (polinômios multivariados), como x^2 * y + 2*z + 1. Além disso, quero expressar certas equações simbólicas sobre expressões, por exemplo x^2 + 1 = 1, bem …

9 haskell  casting  type-conversion  ghc  typeclass 

Eu apenas consegui entender a definição da classe MonadReader class Monad m => MonadReader r m | m -> r where ... Depois de ler o documento de Dependência funcional em Haskell, agora posso entender que | m -> respecifica que a variável de tipo ré decidida exclusivamente por m. …

8 haskell  monads  ghc  type-systems