Embedding invertible languages with binders: A case of the FliPpr language

Kazutaka Matsuda, Meng Wang

研究成果: Chapter

1 引用 (Scopus)

抜粋

This paper describes a new embedding technique of invertible programming languages, through the case of the FliPpr language. Embedded languages have the advantage of inheriting host languages' features and supports; and one of the influential methods of embedding is the tagless-final style, which enables a high level of programmability and extensibility. However, it is not straightforward to apply the method to the family of invertible/reversible/bidirectional languages, due to the different ways functions in such domains are represented. We consider FliPpr, an invertible pretty-printing system, as a representative of such languages, and show that Atkey et al.'s unembedding technique can be used to address the problem. Together with a reformulation of FliPpr, our embedding achieves a high level of interoperability with the host language Haskell, which is not found in any other invertible languages. We implement the idea and demonstrate the benefits of the approach with examples.

元の言語English
ホスト出版物のタイトルACM SIGPLAN Notices
出版者Association for Computing Machinery
ページ158-171
ページ数14
53
エディション7
ISBN(電子版)9781450349116
DOI
出版物ステータスPublished - 2018 9 17

ASJC Scopus subject areas

  • Computer Science(all)

フィンガープリント Embedding invertible languages with binders: A case of the FliPpr language' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Matsuda, K., & Wang, M. (2018). Embedding invertible languages with binders: A case of the FliPpr language. : ACM SIGPLAN Notices (7 版, 巻 53, pp. 158-171). Association for Computing Machinery. https://doi.org/10.1145/3242744.3242758