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 cabeça durante o processo de codificação (tenho certeza que muitos de nós o fizemos), mas não tenho ideia de quais são os esquemas de (co) recursão. uso são chamados. (OK, eu menti. Acabei de ler sobre alguns deles, o que gerou esta pergunta. Mas antes de hoje, eu não tinha ideia.)
Acho que a difusão desses conceitos dentro da comunidade de programação tem sido dificultada pelas explicações e exemplos proibitivos que costumamos encontrar - por exemplo, na Wikipedia, mas também em outros lugares.
Provavelmente também foi prejudicado por seus nomes. Acho que existem alguns nomes alternativos, menos matemáticos (algo sobre bananas e arame farpado?), Mas também não tenho ideia de quais são os nomes mais bonitos para esquemas de recursão que uso.
Acho que ajudaria a usar exemplos com tipos de dados que representam problemas simples do mundo real, em vez de tipos de dados abstratos, como árvores binárias.