(Milewski) Профункторная оптика

Перевод статьи Бартоша Милевски «Profunctor Optics: The Categorical View» (исходный текст расположен по адресу — Текст оригинальной статьи).

Содержимое перевода статьи включает:

  • Лемма Йонеды
  • Сопряжения
  • Йонеда с сопряжением
  • Профункторы
  • Обогащенные категории
  • Модули Тамбары
  • Оптика Тамбары
  • Перевод в Haskell
  • Обсуждение
  • Еще одна оптика
  • Заключение

Дополнительную информацию (с обсуждением) по линзам  можно почерпнуть из переводов Дениса Шевченко «Линзы: Hello Word» и «Линзы: Real Word«.

Реклама

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s