Я ищу действительно простые и понятные объяснения схем рекурсии и схем коркурсии (катаморфизмы, анаморфизмы, гиломорфизмы и т. Д.), Которые не требуют перехода по множеству ссылок или открытия учебника теории категорий. Я уверен, что неосознанно заново изобрел многие из этих схем и «применил» их в своей голове в процессе кодирования (уверен, что многие из нас это уже сделали), но я понятия не имею, какие схемы (со) рекурсии я использование называются. (Хорошо, я солгал. Я только что прочитал о некоторых из них, что вызвало этот вопрос. Но до сегодняшнего дня я понятия не имел.)
Я думаю, что распространению этих концепций в сообществе программистов препятствуют запрещающие объяснения и примеры, которые часто встречаются - например, в Википедии, но также и в других местах.
Возможно, этому помешали и их имена. Я думаю, что есть некоторые альтернативные, менее математические имена (что-то о бананах и колючей проволоке?), Но я также не знаю, какие более короткие имена для схем рекурсии, которые я использую.
Я думаю, что было бы лучше использовать примеры с типами данных, представляющими простые реальные проблемы, а не с абстрактными типами данных, такими как двоичные деревья.