Preprocessing Eden with Template Haskell

Priebe, Stefan

doi:10.1007/11561347_24

Cited by 4 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Baumgartner and Russo [4] implemented the concept of type signatures in C++ by translating new elements back to C++. Eden [27] extends Haskell with a small set of syntactic constructs for explicit process specification and creation, and translates back to plain Haskell by employing Template Haskell. Broberg [6] extended Haskell with regular expression patterns, the meaning of which -similarly to the previously seen extension -is determined by translating them back to base Haskell.…”

Section: Language Extensionsmentioning

confidence: 99%

Extending Erlang by utilising RefactorErl

Horpácsi

2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

In this paper, we present the idea of utilising a refactoring tool for implementing extensions to a programming language. We elaborate the correspondence between the main components of the compiler and the refactoring tool, and examine how analysis and transformation features of the tool can be exploited for turning its refactoring framework into a translation framework. The presented method allows one, for instance, to make the Erlang language supportive for embedding domain specific languages as well as to make its functions portable.

show abstract

Section: Language Extensionsmentioning

confidence: 99%

Extending Erlang by utilising RefactorErl

Horpácsi

2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

show abstract

“…We therefore believe that such custom preprocessors would better be implemented in a framework like SugarHaskell that supports the composition of many language extensions to be used in the same source file. Priebe [2005] proposes a light-weight framework to implement preprocessors using Template Haskell. His key idea is use an universal preprocessor that wraps a Haskell source file in a call to a Template Haskell macro.…”

Section: Preprocessorsmentioning

confidence: 99%

Layout-sensitive language extensibility with SugarHaskell

et al. 2012

View full text Add to dashboard Cite

Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more scenarios (e.g., arrow notation in GHC), and some Haskell programmers implement preprocessors for their individual needs (e.g., idiom brackets in SHE). But manually written preprocessors cannot scale: They are expensive, error-prone, and not composable. Most researchers and programmers therefore refrain from using the syntactic notations they need in actual Haskell programs, but only use them in documentation or papers. We present a syntactically extensible version of Haskell, SugarHaskell, that empowers ordinary programmers to implement and use custom syntactic sugar.Building on our previous work on syntactic extensibility for Java, SugarHaskell integrates syntactic extensions as sugar libraries into Haskell's module system. Syntax extensions in SugarHaskell can declare arbitrary context-free and layout-sensitive syntax. SugarHaskell modules are compiled into Haskell modules and further processed by a Haskell compiler. We provide an Eclipse-based IDE for SugarHaskell that is extensible, too, and automatically provides syntax coloring for all syntax extensions imported into a module.We have validated SugarHaskell with several case studies, including arrow notation (as implemented in GHC) and EBNF as a concise syntax for the declaration of algebraic data types with associated concrete syntax. EBNF declarations also show how to extend the extension mechanism itself: They introduce syntactic sugar for using the declared concrete syntax in other SugarHaskell modules.

show abstract

Using Template Haskell for Abstract Interpretation

Segura

Torrano

2007

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

Preprocessing Eden with Template Haskell

Cited by 4 publications

References 10 publications

Extending Erlang by utilising RefactorErl

Extending Erlang by utilising RefactorErl

Layout-sensitive language extensibility with SugarHaskell

Using Template Haskell for Abstract Interpretation

Contact Info

Product

Resources

About