Resultados de la búsqueda a petición "haskell"
Filtrar nada y descomprimir solo
Estoy teniendo problemas con este programa. filterJust :: [Maybe a] -> [a] filterJust [] = [] filterJust x = map fromJust (filter (isJust) x)pero ghci sigue informando esto [/imgs/scXox.png] EDITAR: No quiero usar ningún módulo adicional, ...
¿Cómo evito referirme a todas las variables de estado cuando actualizo solo algunas?
Un modismo que uso para componer un par de procedimientos (con memoria) es el siguiente: p1 :: State (Int, String) () p1 = do (a, b) <- get ... do something ... put (a', b) p2 :: State (Int, String) () p2 = do (a, b) <- get ... do something else ...
Lambda para expresiones de tipo en Haskell?
¿Haskell, o un compilador específico, tiene algo como lambdas de nivel de tipo (si ese es incluso un término)? Para elaborar, digamos que tengo un tipo parametrizadoFoo a b y quieroFoo _ b para ser una instancia de, por ejemplo, Functor. ¿Hay ...
Functores aplicativos como functores monoidales
Como se menciona en Hackage paraFuncionarios Aplicativos [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Applicative.html] , son fuertes functores monoidales laxos. Entonces, ¿por qué su definición en Haskell no lo muestra ...
¿Cómo puedo escribir esta instancia de GEq?
Tengo tipos de datosTup2List yGTag (de la respuesta a¿Cómo puedo producir un tipo de etiqueta para cualquier tipo de datos para usar con DSum, sin ...
¿Hay alguna garantía sobre el orden de evaluación dentro de una coincidencia de patrón?
El seguimiento (&&) :: Bool -> Bool -> Bool False && _ = False True && False = False True && True = Truetiene la propiedad de cortocircuito deseadaFalse && undefined ≡ False. La primera cláusula, que no es estricta en el argumento correcto, ...
¿Cómo hacer paréntesis automáticos de expresiones haskell arbitrarias?
Estoy aprendiendo haskell, y tengo muchas dificultades para analizar mentalmente muchas expresiones haskell con las que me encuentro. Por supuesto, espero que, con suficiente práctica, analizar mentalmente a Haskell se convierta en una segunda ...
¿Cómo traduciría una clase de tipo Haskell a F #?
Estoy tratando de traducir las flechas de la biblioteca principal de Haskell a F # (creo que es un buen ejercicio para comprender mejor las flechas y F #, y podría usarlas en un proyecto en el que estoy trabajando). Sin embargo, una traducción ...
Escriba error al probar una función con un número negativo
Estoy siguiendo junto con elAprenderte un Haskell para bien, He implementadotake': take' :: (Ord i, Num i) => i -> [a] -> [a] take' n _ | n <= 0 = [] take' _ [] = [] take' n (x:xs) = x: take' (n-1) xsAl probar la función con: take' -2 [2]en ...
Variables equivalentes de coincidencia de patrones en Haskell, como en Prolog
En prolog, podemos hacer algo como lo siguiente: myFunction a (a:xs) = ...Esto es, cuando el primer argumento demyFunction es lo mismo que el primer elemento de la lista que está en el segundo argumento, esta función evaluará a.... Mi pregunta ...