Typed quote/antiquote or: Compile-time parsing

Haskell (Peyton Jones, 2003) is often used as a host language for embedding other languages. Typically, the abstract syntax of the guest language is defined by a collection of datatype declarations; parsers and pretty-printers convert between the concrete syntax and its abstract representation. A qu...

Full description

Saved in:
Bibliographic Details
Published in:Journal of functional programming 2011-05, Vol.21 (3), p.219-234
Main Author: HINZE, RALF
Format: Article
Language:English
Subjects:
Collection
Concretes
Functional Pearl
Parsers
Programming
Representations
Syntax
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Haskell (Peyton Jones, 2003) is often used as a host language for embedding other languages. Typically, the abstract syntax of the guest language is defined by a collection of datatype declarations; parsers and pretty-printers convert between the concrete syntax and its abstract representation. A quote/antiquote mechanism permits a tighter integration of the guest language into the host language by allowing one to use phrases in the guest language's concrete syntax.
ISSN:0956-7968
1469-7653
DOI:10.1017/S0956796811000050