Statically Typed Domain-Specific Language to Define Syntax Rules

摘要

This paper describes design of a domain-specific language to specify syntax rules based on Kotlin. which is a modern statically typed programming language. Typical parser generators do not analyze the action code attached in the syntax rules. If we write action code containing a trivial syntax error, they generate source code still containing the syntax error. To resolve this situation, an internal DSL to define syntax rules was designed as a subset of Kotlin. In the author's preliminary experience, productivity was improved in the design and implementation of parsers.