Bidirectional programming in Haskell
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
Hi,
2009/5/26 Shin-Cheng Mu
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
Thanks a lot, I'm off for some reading. :) Cheers, Artyom Shalkhakov.
participants (2)
-
Artyom Shalkhakov -
Shin-Cheng Mu