A Framework for Extensible Languages

作者：Erdweg Sebastian^*; Rieger Felix

来源：ACM Sigplan Notices, 2014, 49(3): 3-12.

DOI：10.1145/2517208.2517210

• Macros
• syntactic extensibility
• compiler framework
• module system
• SugarJ

Extensible programming languages such as SugarJ or Racket enable programmers to introduce customary language features as extensions of the base language. Traditionally, systems that support language extensions are either (i) agnostic to the base language or (ii) only support a single base language. In this paper, we present a framework for language extensibility that turns a non-extensible language into an extensible language featuring library-based extensible syntax, extensible static analyses, and extensible editor support. To make a language extensible, our framework only requires knowledge of the base language%26apos;s grammar, the syntax for import statements (which activate extensions), and how to compile base-language programs. We have evaluated the generality of our framework by instantiating it for Java, Haskell, Prolog, JavaScript, and System F-omega, and by studying existing module-system features and their support in our framework.

• 出版日期2014-3