Optics
Optics is the name given to a family of data accessing patterns in functional programming. These patters can be abstracted so that they can be reutilized across different data structures; they can be also composed together, forming a modular language for compositional data accessing.
Literature
- Profunctor Optics, a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)
- Categories of Optics (Riley)
- Cornering Optics (Boisseau, Nester, Román, 2022)
See notes on
- Dependent lenses
- Milewski-Vertechi dependent optics
- Dioptics
- Operational view of grates
- Lenses flowing back
- Van Laarhoven lenses and grates
- Dependent optics (Riley)
- Lax optics
- Symmetric optics
- Traversables
- Affine Traversals split but why
- Promonoidal category of optics
#index