Invertible Syntax without the Tuples (Functional Pearl)festschrift
In the seminal paper \emph{Functional unparsing}, Olivier Danvy used continuation passing to reanalyse printf-like format strings as combinators. In the intervening decades, the conversation shifted towards a concurrent line of work — applicative, monadic or arrow-based combinator libraries — in an effort to find combinators for invertible syntax descriptions that simultaneously determine a parser as well as a printer, and with more expressive power, able to handle inductive structures like lists and trees. Along the way, continuation passing got lost. This paper argues that Danvy’s insight is just as relevant to the general setting as it was to the restricted setting of his original paper. Like him, we present three solutions that exploit continuation-passing style as an alternative to both dependent types and monoidal aggregation via nested pairs, in our case to parse and print structured data with increasing expressive power.
Tue 14 OctDisplayed time zone: Perth change
10:50 - 12:05 | |||
10:50 5mDay opening | Opening OlivierFest Julia Lawall Inria, Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital, Jens Palsberg University of California, Los Angeles (UCLA), Ilya Sergey National University of Singapore | ||
10:55 20mTalk | Continuations in Musicfestschrift OlivierFest Youyou Cong Institute of Science Tokyo | ||
11:15 25mTalk | Exotic Uses of Continuations OlivierFest Michael D. Adams National University of Singapore | ||
11:40 25mTalk | Invertible Syntax without the Tuples (Functional Pearl)festschrift OlivierFest |