Preguntas etiquetadas con ghc

Comportamiento actual 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 

Esta parte del código de Haskell se ejecuta mucho más lento con -O, pero no -Odebería ser peligrosa . ¿Alguien puede decirme qué pasó? Si importa, es un intento de resolver este problema , y usa búsqueda binaria y árbol de segmento persistente: import Control.Monad import Data.Array data Node = …

87 haskell  optimization  ghc  compiler-bug 

Al compilar mi aplicación Haskell con la -Wallopción, GHC se queja de instancias huérfanas, por ejemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La clase de tipo ToSElemno es mía, está definida por HStringTemplate . Ahora sé cómo solucionar esto (mueva la declaración de la instancia al módulo donde se …

86 haskell  ghc  typeclass 

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Quiero hacer Stringuna instancia de Fooable: instance Fooable String where toFoo = FooString GHC luego se queja: Illegal instance declaration for `Fooable String' (All instance …

85 haskell  ghc  typeclass  type-systems 

Escribí este pequeño fragmento de Haskell para descubrir cómo GHC demuestra que para los números naturales, solo puedes dividir a la mitad los pares: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Happstack Lite se me está rompiendo porque está recibiendo la versión 0.5 de blaze-html y quiere la versión 0.4. Cabal dice que están instaladas ambas versiones 0.4.3.4 y 0.5.0.0. Quiero eliminar 0.5.0.0 y usar solo la versión anterior. Pero Cabal no tiene un comando de "desinstalación", y cuando lo intento …

82 haskell  ghc  cabal 

Mientras estoy aprendiendo Haskell, veo que hay muchas extensiones de lenguaje que se usan en el código de la vida real. Como principiante, ¿debo aprender a usarlos o debo evitarlos a toda costa? Veo que rompe la compatibilidad con Haskell 98 y limita el código a prácticamente solo GHC. Sin …

78 haskell  ghc 

¿Por qué GHCi da una respuesta incorrecta a continuación? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ACTUALIZACIÓN Implementaría la función de Haskell (^) de la siguiente manera. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < …

12 haskell  floating-point  ghc  ghci 

Problema Considere el siguiente problema de diseño en Haskell. Tengo un EDSL simple y simbólico en el que quiero expresar variables y expresiones generales (polinomios multivariados) como x^2 * y + 2*z + 1. Además, quiero expresar ciertas ecuaciones simbólicas sobre expresiones, digamos x^2 + 1 = 1, así como …

9 haskell  casting  type-conversion  ghc  typeclass 

Me las arreglé para entender la definición de la clase. MonadReader class Monad m => MonadReader r m | m -> r where ... Después de leer el documento de Dependencia funcional en Haskell, ahora puedo entender que | m -> respecifica que la variable de tipo rse decide de …

8 haskell  monads  ghc  type-systems