В статье рассматривается
Публикация является продолжением FP на Scala: Что такое функтор? в которой были рассмотрены следующие вопросы
Содержание
- Как такая абстракция теории категорий как инвариантный функтор (Invariant Functor), который иногда называют экпоненциальным функтором (Exponential Functor), выражается на Scala.
- Два правила (Identity Law, Composition Law), которым доложен следовать каждый инвариантный функтор.
- Приведен пример инвариантного функтора с состоянием (Value Holder)
- Приведен пример инвариантного функтора-отношения между элементами множества (полугруппа)
Публикация является продолжением FP на Scala: Что такое функтор? в которой были рассмотрены следующие вопросы
- Какая имеется связь между теорией категорий, Haskell и Scala.
- Что такое ковариантный функтор.
- Что такое контравариантный функтор.
Содержание
- Введение
- Что такое Invariant Functor
- Invariant Functor — Identity Law
- Invariant Functor — Composition Law
- Пример #1: Value Holder
- Пример #2: Полугруппа
- Инвариантный функтор в библиотеках