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 que …

392 haskell  ghc 

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 …

322 haskell  constraints  ghc 

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: …

312 haskell  syntax  types  ghc  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 …

246 performance  haskell  ghc  higher-order-functions  lambda-calculus 

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 -> b) :-> Full b) share :: (Let :<: …

212 haskell  ghc 

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 hasta ahora: …

193 performance  compiler-construction  haskell  ghc 

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 frecuencia …

183 optimization  haskell  ghc 

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 …

156 haskell  ghc 

¿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 técnica.

147 haskell  ghc 

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 ‘[GHC.Types.Char]’ || Expected type: containers-0.5.6.2:Data.Map.Base.Map || [GHC.Types.Char] …

143 haskell  ghc  ghc-mod 

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 necesitamos mantener cientos de …

130 performance  haskell  garbage-collection  ghc  latency 

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 hacer …

127 haskell  linker  ghc  static-linking  glfw 

¿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 …

124 haskell  memory-management  ghc  algebraic-data-types 

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 …

112 haskell  ghc 

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 …

106 haskell  ghc  memoization