Journal article icon

Journal article

Profunctor optics: Modular data accessors

Abstract:

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. Individual data accessors for simple data structures are easy to write, for example as pairs of ‘getter’ and ‘setter’ methods. However, it is not obvious how to combine data accessors, in such a way that data acc...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.22152/programming-journal.org/2017/1/7

Authors


More by this author
Institution:
University of Oxford
Division:
Societies, Other & Subsidiary Companies
Department:
Kellogg College
Oxford college:
Kellogg College
Role:
Author
Publisher:
Aspect-Oriented Software Association Publisher's website
Journal:
Art, Science, and Engineering of Programming Journal website
Volume:
1
Issue:
2
Pages:
7
Publication date:
2017-04-01
Acceptance date:
2017-03-08
DOI:
ISSN:
2473-7321
Source identifiers:
687821
Keywords:
Pubs id:
pubs:687821
UUID:
uuid:9989be57-a045-4504-b9d7-dc93fd508365
Local pid:
pubs:687821
Deposit date:
2017-04-04

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP