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.
See notes.
- 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
Literature.