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

Kazutaka Matsuda, Meng Wang

研究成果: Conference contribution

2 被引用数 (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
ホスト出版物のタイトルHaskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018
編集者Nicolas Wu
出版社Association for Computing Machinery, Inc
ページ158-171
ページ数14
ISBN(電子版)9781450358354
DOI
出版ステータスPublished - 2018 9 17
イベント11th ACM SIGPLAN International Symposium on Haskell, Haskell 2018, co-located with ICFP 2018 - St. Louis, United States
継続期間: 2018 9 272018 9 28

出版物シリーズ

名前Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018

Other

Other11th ACM SIGPLAN International Symposium on Haskell, Haskell 2018, co-located with ICFP 2018
国/地域United States
CitySt. Louis
Period18/9/2718/9/28

ASJC Scopus subject areas

  • コンピュータ グラフィックスおよびコンピュータ支援設計
  • 人間とコンピュータの相互作用
  • コンピュータ ビジョンおよびパターン認識
  • コンピュータ サイエンスの応用
  • ソフトウェア

フィンガープリント

「Embedding invertible languages with binders: A case of the FlippR language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル