Lenses for Web Data

Raghu Rajkumar, Sam Lindley, Nate Foster, James Cheney

Research output: Contribution to journalConference articlepeer-review

3 Citations (Scopus)


Putting data on the web typically involves implementing two transformations: one to convert the data into HTML, and another to parse modifications out of interactions with clients. Unfortunately, in current systems, these transformations are usually implemented using two separate functions—an approach that replicates functionality across multiple pieces of code, and makes programs difficult to write, reason about, and maintain. This paper presents a different approach: an abstraction based on formlets that makes it easy to bridge the gap between data stored on a server and values embedded in HTML forms. We introduce formlenses, which combine the advantages of formlets with those of lenses to provide compositional, bidirectional form-based views of Web data. We show that formlenses can be viewed as monoidal functors over lenses, analogously to formlets, which are applicative functors. Finally, we investigate the connection between linearity and bidirectional transformations and describe a translation from a linear pattern syntax into formlens combinators.
Original languageEnglish
JournalElectronic Communications of the EASST
Publication statusPublished - 2013


Dive into the research topics of 'Lenses for Web Data'. Together they form a unique fingerprint.

Cite this