Существует ли список из них с примерами, доступными для человека, не обладающего обширными знаниями теории категорий?
Функциональное программирование с использованием бананов, линз, конвертов и колючей проволоки (PDF) также должно помочь. Обозначение будет немного волосатым, но прочитав его несколько раз, вы сможете записать свой список.
Кроме того, взгляните на схемы рекурсии (в архиве) сообщение в блоге , блоггер планирует вскоре представить каждое из них по отдельности, так что проверяйте его регулярно - наверное.
Эдвард Кметт недавно опубликовал Полевое руководство по схемам рекурсии , возможно, это поможет?
Начните с изучения катаморфизмов; это легче всего понять. Вы уже знаете одну: foldr!
foldr
Тогда перейдите к анаморфизму (unfoldr) и параморфизму. Только тогда перейдите к другим статьям / статьям Википедии; к тому времени их будет легче понять.
unfoldr
Посмотрите слайд Тима Уильямса о схемах рекурсии здесь:
http://www.timphilipwilliams.com/slides.html
Они объясняют все * -морфизмы мотивирующими примерами каждого.
Вот начало: Википедия "Схемы рекурсии".