Matching lenses
Davi Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce · 2010
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well as one mapping updated views back to updated sources.