Profunctor optics: Modular data accessors

<p>Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors are collectively known as optics; they are fundamental to programs that manipulate complex data. Individua...

Full description

Bibliographic Details
Main Authors: Pickering, M, Gibbons, J, Wu, N
Format: Journal article
Published: Aspect-Oriented Software Association 2017