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 resulta bastante incomprensible. ¿Alguien puede explicar …

339 scala  haskell  functional-programming  category-theory  recursion-schemes 

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 reinventado muchos de estos esquemas inconscientemente y …

83 haskell  recursion  functional-programming  recursion-schemes 

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 demuestras?

8 haskell  recursion-schemes  fixpoint-combinators