Preguntas etiquetadas con ghc

De los documentos para GHC 7.6: [Y] a menudo ni siquiera necesitas el pragma SPECIALIZE en primer lugar. Al compilar un módulo M, el optimizador de GHC (con -O) considera automáticamente cada función sobrecargada de nivel superior declarada en M, y la especializa para los diferentes tipos a los...

Este es el escenario: he escrito un código con una firma de tipo y las quejas de GHC no pudieron deducir x ~ y para algunos xy y. Por lo general, puede arrojar un hueso a GHC y simplemente agregar el isomorfismo a las restricciones de la función, pero esta es una mala idea por varias razones: No...

Estoy empezando a entender cómo forallse usa la palabra clave en los llamados "tipos existenciales" como este: data ShowBox = forall s. Show s => SB s Sin embargo, esto es solo un subconjunto de cómo forallse usa y simplemente no puedo entender cómo se usa en cosas como esta: runST :: forall...

Haskell (con el GHCcompilador) es mucho más rápido de lo que cabría esperar . Utilizado correctamente, puede acercarse a los idiomas de bajo nivel. (Una de las cosas favoritas de Haskellers es intentar alcanzar el 5% de C (o incluso superarlo, pero eso significa que está utilizando un programa de C...

Recientemente publiqué una pregunta sobre syntactic-2.0 con respecto a la definición de share. He tenido esto trabajando en GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a ->...

Core es el lenguaje intermedio de GHC. Reading Core puede ayudarlo a comprender mejor el rendimiento de su programa. Alguien me pidió documentación o tutoriales sobre lectura de Core, pero no pude encontrar mucho. ¿Qué documentación hay disponible para leer GHC Core? Esto es lo que he encontrado...

GHC tiene muchas optimizaciones que puede realizar, pero no sé cuáles son todas, ni la probabilidad de que se realicen y en qué circunstancias. Mi pregunta es: ¿qué transformaciones puedo esperar que se aplique cada vez, o casi? Si miro un fragmento de código que se ejecutará (evaluará) con...

Tengo problemas para que GHC especialice una función con una restricción de clase. Tengo un ejemplo mínimo de mi problema aquí: Foo.hs y Main.hs . Los dos archivos se compilan (GHC 7.6.2, ghc -O3 Main) y se ejecutan. NOTA: Foo.hs está realmente despojado. Si desea ver por qué se necesita la...

¿Hay una respuesta simple: por qué es tan grande el GHC? OCaml: 2MB Python: 15 MB SBCL: 9MB OpenJRE - 26MB GHC: 113MB No me interesa el evangelismo de "Por qué no debería importarme el tamaño si Haskell es la herramienta adecuada"; Esta es una pregunta

Estoy tratando de usar el ghc-modcomplemento vim para hacer una verificación de tipo / sintaxis, etc. Sin embargo, descubrí que ghc-modsiempre usa rutas completas de tipos en los mensajes de error, por ejemplo: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with...

Estamos desarrollando un programa que recibe y reenvía "mensajes", mientras mantiene un historial temporal de esos mensajes, para que pueda informarle el historial de mensajes si así lo solicita. Los mensajes se identifican numéricamente, por lo general tienen un tamaño de alrededor de 1 kilobyte y...

Incluso los programas trivialmente pequeños de Haskell se convierten en ejecutables gigantes. ¡He escrito un pequeño programa, que fue compilado (con GHC) en el binario con un tamaño de 7 MB! ¿Qué puede causar que incluso un pequeño programa de Haskell se compile en el gran binario? ¿Qué puedo...

¿Cómo puedo encontrar la cantidad real de memoria requerida para almacenar un valor de algún tipo de datos en Haskell (principalmente con GHC)? ¿Es posible evaluarlo en tiempo de ejecución (por ejemplo, en GHCi) o es posible estimar los requisitos de memoria de un tipo de datos compuesto a partir...

Haskell tiene una función de identidad que devuelve la entrada sin cambios. La definición es simple: id :: a -> a id x = x Entonces, para divertirse, esto debería generar 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Después de...

No puedo entender por qué aparentemente m1 está memorizado mientras que m2 no está en lo siguiente: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 tarda aproximadamente 1,5 segundos en la primera llamada, y una fracción de eso en las llamadas posteriores...

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...

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...

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...

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'...

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...