Resultados de la búsqueda a petición "haskell"
Comprobando si una lista de nivel de tipo contiene otra
¿Es posible escribir una función de nivel de tipo que devuelvaTrue si una lista de nivel de tipo contiene otra lista de nivel de tipo? Aquí está mi intento: {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeFamilies #-} ...
Ver funciones de biblioteca no expuestas mientras se desarrolla en Haskell
Cometí un erroren otra pregunta [https://stackoverflow.com/questions/39193147/combining-and-splitting-assignment-in-haskell-io-do-block] eso podría haberse resuelto viendo :t myfunctionofinterestpara una función que estaba usando en una ...
¿Cómo puedo representar datos con campos opcionales a nivel de tipo?
Estoy trabajando en un flujo de datos para control que tiene un valor (polimórfico, puede ser lo que sea), y tambiénpodría tener una función de validación que verifique si el valor sigue siendo bueno, ypodría tiene una función que "actualiza el ...
Fusionando dos listas en Haskell
No puedo entender cómo combinar dos listasde la siguiente maneraen Haskell: INPUT: [1,2,3,4,5] [11,12,13,14] OUTPUT: [1,11,2,12,3,13,4,14,5]
¿Ejecutas Haskell HXT fuera de IO?
Todos los ejemplos que he visto hasta ahora utilizando el kit de herramientas XML Haskell, HXT, utilizanrunX para ejecutar el analizadorrunX corre dentro de la mónada IO. ¿Hay alguna forma de usar este analizador XML fuera de IO? Parece ser una ...
¿Cómo enumerar directorios más rápido?
Tengo algunas situaciones en las que necesito enumerar archivos de forma recursiva, pero mis implementaciones han sido lentas. Tengo una estructura de directorio con 92784 archivos.find enumera los archivos en menos de 0,5 segundos, pero mi ...
¿Hay alguna manera de aplicar el constructor Quizás a cada campo de registro con genéricos?
Tengo dos tipos de datos y el segundo es la copia del primero, pero con Quizás en cada campo. data A = {a :: Int, b :: String} data B = {c :: Maybe Int, d :: Maybe String} ¿Hay alguna manera de hacer una función? f :: A -> B g :: B -> A -> Asin ...
¿Cómo funciona la derivación en Haskell?
AlgebraicoTipos de datos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunostypeclasses (comoShow, Eq) porderivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord)Mi pregunta es, ¿cómo funciona esto?deriving ...
Cómo asignar un valor de la mónada IO a un constructor calificado de RankNType
(ACTUALIZADO) He hecho una interfaz usando unMónada libre [https://stackoverflow.com/a/23767740/163177]a un almacén de datos genéricos. Quiero colocar el intérprete específico (:: DataStore a -> IO a) elegido por el usuario en tiempo de ...
¿Cuál es una mejor manera de administrar grandes registros de Haskell?
Reemplazando los nombres de los campos con letras, tengo casos como este: data Foo = Foo { a :: Maybe ... , b :: [...] , c :: Maybe ... , ... for a lot more fields ... } deriving (Show, Eq, Ord) instance Writer Foo where write x = maybeWrite a ...