Параморфизм

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Параморфизм (от греч. παρα — рядом и μορφή — форма) — понятие из теории категорий, имеющее непосредственное применение в функциональном программировании. Является одним из базовых примитивов для описания рекурсивных функций (и, более общо, — рекурсивных процессов). Совместно с сопутствующими понятиями анаморфизма, катаморфизма и хиломорфизма может использоваться для представления произвольных рекурсивных функций. Однако, принимая во внимание высокую степень абстракции теории категорий, понятие параморфизма можно применять в тех областях научного знания, где имеется необходимость в применении примитивов для рекурсии. В том же функциональном программировании данное понятие можно использовать не только для функций, но и в механизме вывода типов (например, в рамках модели статической типизации Хиндли — Милнера).

Параморфизм в функциональном программировании[править]

Примеры[править]

Список[править]

Бинарное дерево[править]

Параморфизм в теории категорий[править]

Общий случай[править]

Свойства[править]

Нотация[править]

См. также[править]

Ссылки[править]