Re: [Haskell-cafe] Bidirectional programming in Haskell
Hi, 2009/5/26 Shin-Cheng Mu s...@iis.sinica.edu.tw: 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. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Bidirectional programming in Haskell
Artyom Shalkhakov wrote: Hello, Are there any libraries for bidirectional [1] programming in Haskell? Any related work? On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bff-0.1 The underlying research: http://wwwtcs.inf.tu-dresden.de/~voigt/popl09-2.pdf A web interface for playing with the library: http://linux.tcs.inf.tu-dresden.de/~bff/cgi-bin/bff.cgi All I've found is a paper There and back again: arrows for invertible programming, which I couldn't find the full text of. http://www.st.cs.ru.nl/papers/2005/alia2005-biarrowsHaskellWorkshop.pdf Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:vo...@tcs.inf.tu-dresden.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] 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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Bidirectional programming in Haskell
Hi, 2009/5/26 Janis Voigtlaender vo...@tcs.inf.tu-dresden.de: On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bff-0.1 The underlying research: http://wwwtcs.inf.tu-dresden.de/~voigt/popl09-2.pdf A web interface for playing with the library: http://linux.tcs.inf.tu-dresden.de/~bff/cgi-bin/bff.cgi Thanks for the links, I'm off for tinkering... Cheers, Artyom Shalkhakov. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Bidirectional programming in Haskell
Hello, Are there any libraries for bidirectional [1] programming in Haskell? Any related work? All I've found is a paper There and back again: arrows for invertible programming, which I couldn't find the full text of. Cheers, Artyom Shalkhakov. [1] something along the lines of Boomerang www.seas.upenn.edu/~harmony/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe