Что такое морфизмы zygo / meta /histo /para / futu / dyna / что угодно?
-
06-09-2019 - |
Вопрос
Существует ли их список с примерами, доступными человеку, не обладающему обширными знаниями в области теории категорий?
Решение
Функциональное программирование с помощью Бананов, Линз, Конвертов и колючей проволоки (PDF) это тоже должно помочь.Обозначение станет немного запутанным, но, прочитав его несколько раз, вы должны быть в состоянии сократить этот ваш список.
Кроме того, взгляните на схемы рекурсии (архивировано) запись в блоге, блоггер планирует вскоре представить каждый из них по отдельности, так что, полагаю, возвращайтесь к нему регулярно.
Другие советы
Начните с изучения катаморфизмов;это самое легкое для понимания.Вы уже знаете одного: foldr
!
Затем переходите к анаморфизмам (unfoldr
) и параморфизмы.Только после этого переходите к другим статьям Википедии;к тому времени их будет легче понять.
Эдвард Кметт недавно опубликовал Практическое руководство по схемам рекурсии, может быть, это помогает?
Посмотрите слайд Тима Уильямса о схемах рекурсии здесь:
http://www.timphilipwilliams.com/slides.html
Они объясняют все *-морфизмы с мотивирующими примерами каждого из них.
Вот вам и начало: Категория Википедии "Схемы рекурсии".