Resultados de la búsqueda a petición "haskell"
¿Cuáles serían los métodos de una bi-comonad?
Mientras reflexiona sobre qué clase estándar más útil sugerira este [https://stackoverflow.com/a/40833245/745903] class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num ...
Haskell - guardia dentro de la declaración del caso
Estoy pasando porAprenderte un haskell [http://learnyouahaskell.com/chapters] libro, y en el Capítulo 8 hay un fragmento de código que se ve así data LockerState = Taken | Free deriving (Eq, Show) type Code = String type LockerMap = Map.Map Int ...
¿Cómo escribo una reducción paralela usando estrategias en Haskell?
En la informática de alto rendimiento, las sumas, productos, etc. a menudo se calculan utilizando una "reducción paralela" que toman elementos y completa en O (logn) tiempo (dado suficiente paralelismo). En Haskell, usualmente usamos undoblez ...
¿Cómo puedo ramificar en el valor dentro de un Reflex Dynamic?
en el caso más simple, digamos que tengo unDynamic t Bool, y cuando el valor es verdadero, quiero que exista un único div vacío, y cuando el valor es falso, no quiero que haya ningún elemento dom. un poco más general, si tengo unDynamic t ...
¿Cuál es la forma más estándar / genérica de comprimir un archivo con una lista?
Traversable es, en cierto sentido, la clase de contenedores cuya estructura tiene una "ruta" (que puede corresponder a una lista), cuyos elementos pueden modificarse sin disolver la estructura. Por lo tanto zipTrav :: Traversable t => t a -> [b] ...
NixOS, Haskell, opengl: problemas con la construcción y ejecución de programas openGL
Estoy experimentando un problema con GL en NixOS: el problema parece ser antiguo, ¡pero todavía no hay una solución directa en 2017! Estoy tratando de construir un programa Haskell usando elGloss biblioteca. He instaladogloss y todo lo que ...
Elementos de etiquetado de Haskell en función recursiva
Soy bastante nuevo en Haskell y la programación funcional en general, así que discúlpeme si la pregunta parece sencilla o tonta. Tengo un analizador para un lenguaje simple que produce un árbol de sintaxis abstracta. Para aplanar el AST ...
Aplicativo No trabaje con secuenciación
Tengo este tipo, básicamente una flecha de Kleisli: {-# language DeriveFunctor #-} data Plan m i o = Plan (i -> m o) deriving Functor instance (Monad m) => Applicative (Plan m i) where pure x = Plan (\_ -> pure x) Plan f <*> Plan x = Plan (\i -> ...
Diseño del lenguaje "colecciones" de Haskell
¿Por qué la implementación de Haskell está tan centrada en las listas vinculadas? Por ejemplo, conozco Data.Sequence es más eficiente con la mayoría de las operaciones de lista (excepto elcons operación), y se usa mucho; sin ...
Unidad que prueba acciones de E / S con Hspec
He encontrado otras preguntas en líneas similares, pero nada que responda a mi pregunta en este escenario particular. Además, parece haber pocos recursos que cubran sucintamente el tema de las pruebas de unidad de acciones de E / S ...