文章基本信息

标题：Modelling Homogeneous Generative Meta-Programming
本地全文：下载
作者：Martin Berger ; Laurence Tratt ; Christian Urban 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：74
页码：5:1-5:23
DOI：10.4230/LIPIcs.ECOOP.2017.5
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present a foundational calculus which can model both compile-time and run-time evaluated HGMP, allowing us to model, for the first time, languages such as Template Haskell. The calculus is designed such that it can be gradually enhanced with the features needed to model many of the advanced features of real languages. We demonstrate this by showing how a simple, staged type system as found in Template Haskell can be added to the calculus.
关键词：Formal Methods; Meta-Programming; Operational Semantics; Types; Quasi-Quotes; Abstract Syntax Trees