Resultados de la búsqueda a petición "haskell"
S combinador en Haskell
¿Puede un análogo de laScombinador [https://en.wikipedia.org/wiki/SKI_combinator_calculus]se expresará en Haskell usando solo funciones estándar (sin definirlo por ecuación) y sin usar lambda (función anónima)? Lo espero por tipo(a -> b -> c) -> ...
Haskell huyendo de las estructuras de datos probabilísticos?
Si busca listas de saltos implementadas en Haskell, no encontrará muchas. Es una estructura de datos probabilística que necesita un generador de números aleatorios, lo que significa que cualquiera de estas estructuras necesitaría ejecutarse en la ...
Haskell leyó la entrada de teclado sin formato
Estoy escribiendo un programa en modo terminal en Haskell. ¿Cómo haría para leer información de pulsación de tecla sin procesar? En particular, parece que hay algo que proporciona instalaciones de edición de línea además de Haskell. Si lo ...
¿Por qué usar un tipo de función tan peculiar en las mónadas?
Nuevo en Haskell, y estoy tratando de descubrir esta cosa de la mónada. El operador de enlace monádico ->>= - tiene una firma tipo muy peculiar: (>>=) :: Monad m => m a -> (a -> m b) -> m bPara simplificar, sustituyamosMaybe param: (>>=) :: ...
Error de Haskell: no se pudo hacer coincidir el tipo esperado 'Entero' con el tipo inferido 'Int'
Tengo una función haskell que calcula el tamaño de la lista de Ints finitos. Necesito que el tipo de salida sea un entero porque el valor en realidad será mayor que el límite máximo de Int (el resultado será -1 para ser exacto si el tipo de ...
Patrón no exhaustivo en la función no Tercios
Entonces, mi problema es que tengo que escribir un programa que filtre todos los elementos 3 * x (3,6,9 ...) de una lista. Mi programa se ve así: length' :: [a] -> Int length' = foldr (\_ -> (+1)) 0 help_ :: [a] -> [a] -> [a] help_ (x:xs) [] = ...
Solución SAT con la biblioteca haskell SBV: ¿cómo generar un predicado a partir de una cadena analizada?
Quiero analizar unString que representa una fórmula proposicional y luego encuentra todos los modelos de la fórmula proposicional con un solucionador SAT. Ahora puedo analizar una fórmula proposicional con ...
Functores monoidales laxos con una estructura monoidal diferente
Los functores aplicativos son bien conocidos y apreciados por Haskellers, por su capacidad de aplicar funciones en un contexto efectivo. En términos teóricos de categoría, se puede demostrar que los métodos deApplicative: pure :: a -> f a (<*>) ...
Técnicas para rastrear restricciones
Este es el escenario: he escrito un código con una firma de tipo y las quejas de GHC no pudieron deducir x ~ y para algunosx yy. Por lo general, puede arrojar un hueso a GHC y simplemente agregar el isomorfismo a las restricciones de la función, ...
¿Es posible la reducción eta?
¿Es posible aplicar la reducción de eta en el siguiente caso? let normalise = filter (\x -> Data.Char.isLetter x || Data.Char.isSpace x ) Esperaba que algo como esto fuera posible: let normalise = filter (Data.Char.isLetter || ...