Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Tue 25 Sep 2018 15:22 - 15:45 at Stifel Theatre - Bidirectional Programming Chair(s): Wouter Swierstra

Lenses are a popular approach to bidirectional transformations, a generalization of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses over 10 years ago, which offered a number of advantages over existing approaches to view update, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, which improve on prior work by equipping relational lenses with change-propagating semantics that map small changes to the view to small changes to the source tables. We also present a language-integrated implementation of relational lenses and a detailed experimental evaluation, showing orders of magnitude improvement over the non-incremental approach. Our work shows that relational lenses can be used to support expressive and efficient view updates at the language level, without relying on updatable view support from the underlying database.

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:00 - 16:30
Bidirectional ProgrammingResearch Papers at Stifel Theatre
Chair(s): Wouter Swierstra Utrecht University, Netherlands
15:00
22m
Talk
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Research Papers
Guillaume Boisseau University of Oxford, Jeremy Gibbons Department of Computer Science, University of Oxford
DOI
15:22
22m
Talk
Incremental Relational Lenses
Research Papers
Rudi Horn University of Edinburgh, Roly Perera University of Glasgow, James Cheney University of Edinburgh, UK
DOI
15:45
22m
Talk
Synthesizing Quotient Lenses
Research Papers
Solomon Maina University of Pennsylvania, Anders Miltner Princeton University, Kathleen Fisher Tufts University, USA, Benjamin C. Pierce University of Pennsylvania, Dave Walker Princeton University, Steve Zdancewic University of Pennsylvania
DOI
16:07
22m
Talk
Generic Deriving of Generic Traversals
Research Papers
Csongor Kiss Imperial College London, Matthew Pickering University of Bristol, Nicolas Wu University of Bristol, UK
DOI