Параморфизм

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

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

ПримерыПравить

СписокПравить

Бинарное деревоПравить

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

Общий случайПравить

СвойстваПравить

НотацияПравить

См. такжеПравить

СсылкиПравить