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
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:voigt@tcs.inf.tu-dresden.de
Hi,
2009/5/26 Janis Voigtlaender
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:
Thanks for the links, I'm off for tinkering... Cheers, Artyom Shalkhakov.
participants (2)
-
Artyom Shalkhakov -
Janis Voigtlaender