Journal article icon

Journal article

What you needa know about Yoneda: Profunctor optics and the Yoneda lemma

Abstract:

Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes, but the relationship between this and the familiar representation in terms of ‘getter’ and ‘setter’ functions is not at all obvious.We derive the profunctor representation from the concrete representation, making the relationship clear. It turns out to be a...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1145/3236779

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Kellogg College
Role:
Author
ORCID:
0000-0002-8426-9917
National Institute of Informatics in Tokyo More from this funder
Publisher:
Association for Computing Machinery Publisher's website
Journal:
Proceedings of the ACM on Programming Languages Journal website
Volume:
2
Pages:
84
Publication date:
2018-07-30
Acceptance date:
2018-05-16
DOI:
EISSN:
2475-1421
Pubs id:
pubs:865231
URN:
uri:f49f8929-28dd-4f6f-94be-d7bd147b4ef6
UUID:
uuid:f49f8929-28dd-4f6f-94be-d7bd147b4ef6
Local pid:
pubs:865231

Terms of use


Metrics


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