Апоморфизм - Википедия - Apomorphism

В формальные методы из Информатика, апоморфизм (из ἀπόГреческий для "отдельно") категоричный дуальный из параморфизм и расширение концепции анаморфизм (коиндукция ). В то время как модели параморфизма примитивная рекурсия над индуктивный тип данных, апоморфизм моделирует примитивные Corecursion над коиндуктивным типом данных.

Происхождение

Термин «апоморфизм» был введен в Функциональное программирование с апоморфизмами (Corecursion).[1]

Смотрите также

Рекомендации

  1. ^ Vene, Varmo; Уусталу, Тармо (1998), «Функциональное программирование с апоморфизмами (Corecursion)», Известия Эстонской академии наук: физика, математика, 47 (3): 147–161