Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 2 años . Mejora esta...
El código para la función myAny en esta pregunta usa foldr. Deja de procesar una lista infinita cuando se cumple el predicado. Lo reescribí usando foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Tenga en cuenta que...
¿Qué es un combinador? ¿Es "una función o definición sin variables libres" (como se define en SO)? O qué tal esto: según John Hughes en su conocido artículo sobre Arrows, "un combinador es una función que construye fragmentos de programa a partir de fragmentos de programa" , lo cual es...
Estaba un poco confundido por la documentación de fix(aunque creo que entiendo lo que se supone que debe hacer ahora), así que miré el código fuente. Eso me dejó más confundido: fix :: (a -> a) -> a fix f = let x = f x in x ¿Cómo devuelve esto exactamente un punto fijo? Decidí probarlo...
En el recursion-schemespaquete se definen los siguientes tipos: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) ¿Son isomorfos? Si es así, ¿cómo lo