[Haskell-cafe] Bidirectional programming in Haskell

Shin-Cheng Mu scm at iis.sinica.edu.tw
Tue May 26 03:34:51 EDT 2009


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,


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


[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

More information about the Haskell-Cafe mailing list