Center
People
Research
Ph.D. Theses
Projects
Tech. Reports
Software
FAQ
Links
Colloquium
Master Program
Courses
Students
Miscellaneous
FP Jobs Offered
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Syntax Macros For Free
Center
The following paper was submitted to the Haskell 2010. *Title* : First Class Syntax, Semantics, and Their Composition *Subtitle*: How to assemble a compiler on the fly *Authors* : Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra and Arthur Baars *Abstract* : The idea of having an extendible language is appealing and raises the question how to construct extensible compilers. In recent years we have developed a collection of techniques which together make this possible in Haskell: transformation of typed abstract syntax trees makes it possible to construct parsers on the fly in a type-safe way, parser combinators make it possible to construct parsers dynamically, and first-class attribute grammars make it possible to define semantics in a compositional way. In this paper we show how, using a small example language and its extension, these techniques come together in constructing compilers out of a collection of pre-compiled, statically type-checked, possibly mutually dependent ``language-definition fragments''. This way of constructing a compiler brings syntax macros for free. *Paper*: [[%ATTACHURL%/haskell2010_submission_11.pdf][pdf]] *Package*: [[http://hackage.haskell.org/package/SyntaxMacros][SyntaxMacros]]
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
haskell2010_submission_11.pdf
manage
190.4 K
14 Jun 2010 - 17:30
MarcosViera
tar
uuagc.tar
manage
7150.0 K
22 Oct 2010 - 15:30
MarcosViera