Resultados de la búsqueda a petición "haskell"
Corregir terminología para continuaciones
He estado hurgandocontinuaciones Recientemente, y me confundí acerca de la terminología correcta.aquí [http://www.haskellforall.com/2012/12/the-continuation-monad.html]Gabriel Gonzalez dice: Una continuación de Haskell tiene el siguiente ...
No se puede instalar sdl2 a través de cabal
Estoy tratando de instalarhelm. Cuando trato de instalarlo, sin embargo, aparece este error: $ cabal install helm Resolving dependencies... Configuring sdl2-1.1.0... cabal: The pkg-config package 'sdl2' version >=2.0.3 is required but it could ...
¿Cómo derivar FRP a partir de gráficos acíclicos dirigidos?
Actualmente estoy investigando para mi próximo proyecto. Esto se encuentra en una fase de planificación previa, por lo que esta pregunta es solo para obtener una visión general de la tecnología existente. PrepararTengo un gráfico acíclico ...
¿Qué hace fixIO?
losSystem.IO docs [https://hackage.haskell.org/package/base-4.5.0.0/docs/System-IO.html]contiene una misteriosa función indocumentadafixIO. Su fuente [https://hackage.haskell.org/package/base-4.5.0.0/docs/src/System-IO.html#fixIO] solo se suma al ...
¿Por qué puede invertir la lista con foldl, pero no con foldr en Haskell?
¿Por qué puedes revertir una lista con el pliegue? reverse' :: [a] -> [a] reverse' xs = foldl (\acc x-> x : acc) [] xsPero este me da un error de compilación. reverse' :: [a] -> [a] reverse' xs = foldr (\acc x-> x : acc) [] xsError Couldn't ...
Programación Genética en Haskell
Hay GenProg (http://hackage.haskell.org/package/genprog [http://hackage.haskell.org/package/genprog]) por ejemplo, pero eso solo se ocupa de la optimización numérica, en este caso encontrar una ecuación que describa los datos. Pero necesito ...
Múltiples pliegues en una pasada usando la función de tupla genérica
¿Cómo puedo escribir una función que tome una tupla de funciones de tipoai -> b -> ai y devuelve una función que toma una tupla de elementos de tipoai, un elemento de tipoby combina cada uno de los elementos en una nueva tupla deai: Esa es la ...
¿Cómo hacer que ReaderT funcione con otro transformador de mónada?
Me gustaría incrustarReaderT en otro transformador de mónada. ¿Cómo hago esto? El siguiente ejemplo utilizaScotty [http://hackage.haskell.org/package/scotty-0.9.0/docs/Web-Scotty-Trans.html]pero creo que sería lo mismo con cualquier otra ...
¿Cuál es el caso general de la función de promoción de QuickCheck?
¿Cuál es el término general para un functor con una estructura similar a la de QuickCheck?promote función, es decir, una función de la forma: promote :: (a -> f b) -> f (a -> b)(esta es la inversa deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> ...
"Coincidencia de patrones" de constructores de datos de tipo algebraico
Consideremos un tipo de datos con muchos constructores: data T = Alpha Int | Beta Int | Gamma Int Int | Delta IntQuiero escribir una función para verificar si dos valores se producen con el mismo constructor: sameK (Alpha _) (Alpha _) = True ...