Resultados de la búsqueda a petición "haskell"
Library para analizar y verificar el código Haskell?
Existe alguna biblioteca en hackage que pueda analizar el código haskell y verificar si es un código válido o no? Estoy dispuesto a jugar un poco con un modelo evolutivo y quiero verificar si las cadenas de código producidas se compilarán sin ...
¿La instancia `Eq` derivada automáticamente de GHC realmente * O (N) *?
Solo noté al intentar aprender a leer GHC Core, que el @ derivado automáticamenEq instancia para tipos de datos de estilo enum como data EType = ETypeA | ETypeB | ETypeC | ETypeD | ETypeE | ETypeF | ETypeG | ETypeH deriving (Eq)arece que se ...
Haskell cabal: acabo de instalar paquetes, pero ahora no se encuentran los paquetes
Aqu [http://haskell.org/haskellwiki/Cabal-Install#I_just_installed_packages.2C_but_now_the_packages_are_not_found] es la única razón por la que puedo encontrar los paquetes que estoy instalando usandocabal no están siendo encontrados por GHC: ...
¿Por qué Haskell fuerza la primera letra del constructor de datos a mayúsculas?
Da un ejemplo feo: data Bighead = Big little = 1 f1 = little :: Int f2 = Big :: BigHeadEn mi opinión f1 yf2 todos apuntan a algunos datos. el único diferente de little yBig) es pequeño tiene un código para hacer la evaluación. pero Big no lo ...
Haskell - ¿Qué hace que 'main' sea único?
Con este código: main :: FilePath -> FilePath -> IO () main wrPath rdPath = do x <- readFile rdPath writeFile wrPath xTuve el siguiente error Couldn't match expected type 'IO t0' with actual type 'FilePath -> FilePath -> IO() Pero el archivo se ...
wxHaskell instalación en windows
e atasqué al instalar wxHaskell en Windows XP SP3 Instalé MinGW, MSYS y wx-config MinGW y MSYS con el instalador wx-config con la adición del directorio a la variable de entorno WXWIN y wxWigets con instalador cuando escribo cabal ...
¿Por qué GHCi escribe esta declaración de manera extraña?
l responder una pregunta sobre stackoverflow, noté que GHCi (interactivo) está asignando un tipo demasiado restrictivo en undeja declaración. A saber, dado el código, import Control.Arrow f = maximum &&& id >>> fst &&& (\(m,l) -> length $ ...
Lista de elementos de tipos restringidos por typeclass
Estoy tratando de codificar una lista de elementos que tienen tipos restringidos para ser instancias de alguna clase de tipo: {-# LANGUAGE RankNTypes, TypeSynonymInstances, LiberalTypeSynonyms #-} module Test where class Someable a where some ...
Sin aceleración con ingenua fusión de tipo de paralelización en Haskell
Nota: Esta publicación se reescribió por completo el 10-06-2011; gracias a Peter por ayudarme. Además, no se ofenda si no acepto una respuesta, ya que esta pregunta parece ser bastante abierta. (Pero, si lo resuelve, obtendrá la marca de ...
Bajo rendimiento con transposición y suma acumulativa en Repa
He desarrollado una función de suma acumulativa como se define a continuación en la biblioteca Haskell Repa. Sin embargo, me he encontrado con un problema al combinar esta función con la operación de transposición. Las 3 de las ...