Что такое zygo/meta/histo/para/futu/dyna/whatever-morphism?

Есть ли список из них с примерами, доступными для человека без обширных знаний теории категорий?

ОТВЕТЫ

Ответ 1

Функциональное программирование с бананами, объективами, конвертами и колючей проволокой (PDF) также должно помочь. Нотация будет немного волосатой, но, читая ее несколько раз, вы сможете сбить свой список.

Кроме того, взгляните на схемы рекурсии (заархивировано) сообщение в блоге, блоггер планирует представить каждого в отдельности в ближайшее время, поэтому регулярно проверяйте его - я думаю.

Ответ 3

Начните с изучения катаморфизмов; это легче всего понять. Вы уже знаете один: foldr!

Тогда перейдем к анаморфизмам (unfoldr) и параморфизмам. Только тогда перейдите к другим статьям/статьям в Википедии; к тому времени их будет легче понять.

Ответ 4

Откажитесь от слайда Тима Уильямса по схемам рекурсии:

http://www.timphilipwilliams.com/slides.html

Они объясняют все * -морфизмы мотивирующими примерами каждого из них.