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