Функ. программирование Классы типов Алгоритмы Структуры данных Cats effect Инструментарий Практикум Переводы Ресурсы

Invariant Applicative

InvariantApplicative (инвариантный аппликативный функтор) — это функциональная абстракция, которая обобщает понятие контейнера, поддерживающего двунаправленные преобразования (инвариантные отображения) и "обёртывание" значений в контекст с помощью единичных операций xunit0, xunit1 и т.д.

В отличие от обычного Applicative, который требует ковариантности (возможности преобразовывать значения в одном направлении), инвариантный аппликативный функтор позволяет работать с типами, где преобразования могут быть обратимыми или требовать двустороннего отображения.

Код

trait InvariantFunctor[F[_]]:
  extension [A](fa: F[A])
    def imap[B](f: A => B, g: B => A): F[B]

trait InvariantApplicative[F[_]] extends InvariantFunctor[F]:
  def xunit0[A](a: => A): F[A]

  extension [A](fa: => F[A])
    def xunit1[B](f: A => B, g: B => A): F[B] =
      fa.imap(f, g)

  1. Базовые операции:

    • imap (инвариантное отображение) — преобразует F[A] в F[B] с помощью пары обратных функций
    • xunit0 — помещает значение в минимальный контекст F (аналог pure в обычном Applicative)

  2. Производные операции:

    • xunit1 — комбинация xunit0 и imap для создания значения в контексте с преобразованием

Законы

  1. Закон тождественности для imap: fa.imap(identity, identity) == fa
  2. Закон композиции для imap: fa.imap(f1, g1).imap(f2, g2) == fa.imap(f1 andThen f2, g2 andThen g1)
  3. Закон единицы для xunit0: xunit0(a).imap(f, g) == xunit0(f(a))

Когда использовать

Инвариантный Applicative полезен в следующих случаях:

  1. Работа с двунаправленными преобразованиями (сериализация/десериализация)
  2. Типы с обратимыми операциями (изоморфизмы, кодирование/декодирование)
  3. Композиция типов-контейнеров с сохранением возможности обратного преобразования
  4. Построение DSL для двусторонних трансформаций данных

Схема

classDiagram
    class InvariantFunctor~A~{
        +imap[B](fa: F[A], f: A => B, g: B => A) F[B]
    }  
    class InvariantApplicative~A~{
        +xunit0[A](a: => A) F[A]
    }
    InvariantFunctor <|-- InvariantApplicative

Ссылки:

← Предыдущая Следующая →