Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 14:30 - 15:00 at Room 1 - DSLs and Parsing Chair(s): Eric Van Wyk

This paper proposes a fluent API generator for Scala, Haskell, and C++. It receives a grammar definition and generates a code skeleton of the library in the host programming language. The generated library is accessed through a chain of method calls; this style of API is called a fluent API. The library uses the host-language type checker to detect an invalid chain of method calls. Each method call is regarded as a lexical token in the embedded domain specific language implemented by that library. A sequence of the lexical tokens is checked and, if the sequence is not acceptable by the grammar, a type error is reported during compilation time. A contribution of this paper is to present an algorithm for generating the code-skeleton for a fluent API that reports a type error when a chain of method calls to the library does not match the given LR grammar. Our algorithm works in Scala, Haskell, and C++. To encode LR parsing, it uses the method/function overloading available in those languages. It does not need an advanced type system, or exponential compilation time or memory consumption. This paper also presents our implementation of the proposed generator.

Thu 24 Oct

splash-2019-oopsla
14:00 - 15:30: OOPSLA - DSLs and Parsing at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA
splash-2019-oopsla14:00 - 14:30
Talk
DOI
splash-2019-oopsla14:30 - 15:00
Talk
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
DOI
splash-2019-oopsla15:00 - 15:30
Talk
Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin
DOI