Perguntas com a marcação «recursion-schemes»

Já ouvi o termo "coalgebras" várias vezes na programação funcional e nos círculos PLT, especialmente quando a discussão é sobre objetos, comonadas, lentes e outros. Pesquisando esse termo, páginas trazem descrições matemáticas dessas estruturas, que são praticamente incompreensíveis para mim....

Estou procurando algumas explicações realmente simples e fáceis de entender de esquemas de recursão e esquemas de correcursão (catamorfismos, anamorfismos, hilomorfismos etc.) que não requerem seguir muitos links ou abrir um livro de teoria de categorias. Tenho certeza de que reinventei muitos...

No recursion-schemespacote, os seguintes tipos são definidos: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Eles são isomórficos? Se sim, como você prova