Bidirectionalization for free with runtime recording: Or, a light-weight approach to the view-update problem

Kazutaka Matsuda, Meng Wang

研究成果: Conference contribution

7 引用 (Scopus)

抜粋

A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws. Over the years, a lot of effort has been made to offer better language support for programming such transformations. In particular, a technique known as bidirectionalization is able to analyze and transform unidirectional programs written in general purpose languages, and "bidirectionalize" them. Among others, a technique termed as semantic bidirectionalization proposed by Voigtländer stands out in term of user-friendliness. The unidirectional program can be written using arbitrary language constructs, as long as the function is polymorphic and the language constructs respect parametricity. The free theorems that follow from the polymorphic type of the program allow a kind of forensic examination of the transformation, determining its effect without examining its implementation. This is convenient, in the sense that the programmer is not restricted to using a particular syntax; but it does require the transformation to be polymorphic. In this paper, we lift this polymorphism requirement to improve the applicability of semantic bidirectionalization. Concretely, we provide a type class PackM γ α μ, which intuitively reads "a concrete datatype γ is abstracted to a type α, and the 'observations' made by a transformation on values of type γ are recorded by a monad μ". With PackM, we turn monomorphic transformations into polymorphic ones, that are ready to be bidirectionalized. We demonstrate our technique with a case study of standard XML queries, which were considered beyond semantic bidirectionalization because of their monomorphic nature.

元の言語English
ホスト出版物のタイトルProceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
ページ297-308
ページ数12
DOI
出版物ステータスPublished - 2013 10 15
外部発表Yes
イベント15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 - Madrid, Spain
継続期間: 2013 9 162013 9 18

出版物シリーズ

名前Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013

Other

Other15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
Spain
Madrid
期間13/9/1613/9/18

ASJC Scopus subject areas

  • Software

フィンガープリント Bidirectionalization for free with runtime recording: Or, a light-weight approach to the view-update problem' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Matsuda, K., & Wang, M. (2013). Bidirectionalization for free with runtime recording: Or, a light-weight approach to the view-update problem. : Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 (pp. 297-308). (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013). https://doi.org/10.1145/2505879.2505888