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. Alguém pode, por favor, explicar o que as barras de …

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

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 desses esquemas inconscientemente e os "apliquei" em minha …

83 haskell  recursion  functional-programming  recursion-schemes 

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

8 haskell  recursion-schemes  fixpoint-combinators