Preguntas etiquetadas con recursion-schemes

He escuchado el término "coalgebras" varias veces en la programación funcional y los círculos PLT, especialmente cuando la discusión es sobre objetos, comonads, lentes y demás. Buscar en Google este término ofrece páginas que ofrecen una descripción matemática de estas estructuras, lo cual me...

Estoy buscando explicaciones realmente simples y fáciles de entender de los esquemas de recursividad y esquemas de corecursion (catamorfismos, anamorfismos, hilomorfismos, etc.) que no requieran seguir muchos enlaces o abrir un libro de texto de teoría de categorías. Estoy seguro de que he...

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