Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 14:30 - 15:00 at Illinois Central - Session 2 Chair(s): Sam Lindley

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.

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: Haskell 2018 - Session 2 at Illinois Central
Chair(s): Sam LindleyUniversity of Edinburgh, UK
haskellsymp-2018-papers13:30 - 14:00
Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA
haskellsymp-2018-papers14:00 - 14:30
Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China
haskellsymp-2018-papers14:30 - 15:00
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK