[Haskell-cafe] Bidirectional programming in Haskell

[Shin-Cheng Mu]

Hi,

On Tue May 26 01:21:28 EDT 2009, Artyom Shalkhakov wrote:
 > Are there any libraries for "bidirectional" [1] programming
 > in Haskell? Any related work?

Some of the early work in the PSD project (closely related
to the "lenses") were developed in Haskell,

   http://www.iis.sinica.edu.tw/~scm/2007/inv/

It is not in active maintenance now, but if you are interested
in doing something with it, I'd be happy to help. :)

Ref:

[1] S-C. Mu, Z. Hu and M. Takeichi,
     An injective language for reversible computation.
     In Mathematics of Program Construction 2004, LNCS 3125,
     pp. 289-313, July 2004.

[2] Z. Hu, S-C. Mu and M. Takeichi,
     A programmable editor for developing structured documents
     based on bidirectional transformations.
     In Partial Evaluation and Semantics-Based Program Manipulation,
     pp. 178-189. August 2004