𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - There and back again

✍ Scribed by Alimarine, Artem; Smetsers, Sjaak; van Weelden, Arjen; van Eekelen, Marko; Plasmeijer, Rinus

Book ID
126822813
Publisher
ACM Press
Year
2005
Tongue
English
Weight
171 KB
Category
Article
ISBN-13
9781595930712

No coin nor oath required. For personal study only.

✦ Synopsis

Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce bidirectional arrows (biarrows). The bi-arrow class is an extension of Haskell's arrow class with an extra combinator that changes the direction of computation.The advantage of the use of bi-arrows for invertible programming is the preservation of invertibility properties using the biarrow combinators. Programming with bi-arrows in a polytypic or generic way exploits this the most. Besides bidirectional polytypic examples, including invertible serialization, we give the definition of a monadic bi-arrow transformer, which we use to construct a bidirectional parser/pretty printer.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 2005 ACM SIGPLAN workshop
[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - There and back again
✍ Alimarine, Artem; Smetsers, Sjaak; van Weelden, Arjen; van Eekelen, Marko; Plasm πŸ“‚ Article πŸ“… 2005 πŸ› ACM Press 🌐 English βš– 171 KB

Sponsored By The Association For Computing Machinery Special Interest Group On Programming Languages (sigplan). The 2005 Haskell Workshop Takes Place On 30 September, 2005, In Tallinn, Estonia, In Affiliation With The 2005 International Conference On Functional Programming (icfp'05)--p. Iii. Order N

[ACM Press the 3rd ACM SIGPLAN workshop
[ACM Press the 3rd ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 - A computational approach to reflective meta-reasoning about languages with bindings
✍ Nogin, Aleksey; Kopylov, Alexei; Yu, Xin; Hickey, Jason πŸ“‚ Article πŸ“… 2005 πŸ› ACM Press 🌐 English βš– 234 KB

A. Momigliano & R. Pollack, Editors ; Sponsored By The Association For Computing Machinery Special Interest Group On Programming Languages (sigplan). ... Held In Association With The 10th Acm Sigplan International Conference On Functional Programming (icfp 2005), On August 30th, 2005 In Tallinn, Est