wps.su

В статье при помощи синтаксического подхода рассмотрены такие абстракции из теории категорий, как полугруппа, моноид, бифунктор и профунктор. Данные конструкции являются либо более специализированными конструкциями, либо комбинациями базовых абстракций (ковариантный функтор, контравариантный функтор). >>

Каждой парадигме языков программирования свойственны свои механизмы абстрагирования и идиомы. Если для объектно-ориентированных языков это классы, наследование, полиморфизм, инкапсуляция, делегирование и шаблоны проектирования, то для функциональных языков это шаблоны высшего порядка, типы, зависимые от пути, классы типов и идиомы, которые их используют: ковариантный функтор, аппликативный функтор, монада и т.д. В статье рассмотрены понятия ковариантного, контравариантного и инвариантного функтора. >>