Template meta-programming for Haskell

Sheard, Tim; Jones, Simon Peyton

doi:10.1145/636517.636528

Cited by 268 publications

(244 citation statements)

References 11 publications

Supporting

Mentioning

244

Contrasting

Order By: Relevance

“…Generic functions are defined on types of the Data class [10]. -Template Haskell (TH) is a language extension that allows us to define functions on a meta-level that are evaluated at compile-time and construct code from types, functions or other expressions [21].…”

Section: Three Data Generic Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Type Generic Observing

Faddegon

Chitil

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Observing intermediate values helps to understand what isgoing on when your program runs. Gill presented an observation method for lazy functional languages that preserves the program's semantics. However, users need to define for each type how its values are observed: a laborious task and strictness of the program can easily be affected. Here we define how any value can be observed based on the structure of its type by applying generic programming frameworks. Furthermore we present an extension to specify per observation point how much to observe of a value. We discuss especially functional values and behaviour based on class membership in generic programming frameworks.

show abstract

Section: Three Data Generic Frameworkmentioning

confidence: 99%

“…Splicing code is not restricted to the top-level but can also be done from within templates. For a more comprehensive explanation we refer the interested reader to [21].…”

Section: Observer Templatesmentioning

confidence: 99%

Type Generic Observing

Faddegon

Chitil

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…To alleviate this problem, we developed a macro using TemplateHaskell [36]. The macro extracts all the constrained variables in the matched type of the pointcut, and generates an annotated deployment for every possible combination of instances that satisfy all constraints.…”

Section: Advising Overloaded Functionsmentioning

confidence: 99%

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

Figueroa

Tabareau

Tanter

2014

Transactions on Aspect-Oriented Software Development XI

View full text Add to dashboard Cite

Abstract. Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. However, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. In this work we present Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell. Our work extends EffectiveAdvice, by Oliveira, Schrijvers and Cook; which lacks quantification, and explores how to exploit the monadic setting in the full pointcut/advice model. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. Aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enables us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend Aldrich's notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties. Moreover, we show how to control effect interference using the parametricity-based approach of EffectiveAdvice. However this approach falls short when dealing with interference between multiple aspects. We propose a different approach using monad views, a recently developed technique for handling the monad stack. Finally, we exploit the properties of our monadic weaver to enable the modular construction of new semantics for aspect scoping and weaving. These semantics also benefit fully from the monadic reasoning mechanisms present in the language. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is both expressive and extensible; thus allowing development of robust aspect-oriented systems as well as being a useful research tool for experimenting with new aspect semantics.

show abstract

“…Some macro systems check whether expanded fragments will pass type checking in the target language. Multi-stage extensions generate safe code in, for instance, ML [17], Haskell [21], and Java [27]. C++ concepts add contracts to templates [7].…”

Section: Language-specific Safe Macro Systemsmentioning

confidence: 99%

Marco: Safe, Expressive Macros for Any Language

Lee

Grimm

Hirzel

et al. 2012

ECOOP 2012 – Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Macros improve expressiveness, concision, abstraction, and language interoperability without changing the programming language itself. They are indispensable for building increasingly prevalent multilingual applications. Unfortunately, existing macro systems are wellencapsulated but unsafe (e.g., the C preprocessor) or are safe but tightlyintegrated with the language implementation (e.g., Scheme macros). This paper introduces Marco, the first macro system that seeks both encapsulation and safety. Marco is based on the observation that the macro system need not know all the syntactic and semantic rules of the target language but must only directly enforce some rules, such as variable name binding. Using this observation, Marco off-loads most rule checking to unmodified target-language compilers and interpreters and thus becomes language-scalable. We describe the Marco language, its languageindependent safety analysis, and how it uses two example target-language analysis plug-ins, one for C++ and one for SQL. This approach opens the door to safe and expressive macros for any language.

show abstract

Template meta-programming for Haskell

Cited by 268 publications

References 11 publications

Type Generic Observing

Type Generic Observing

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

Marco: Safe, Expressive Macros for Any Language

Contact Info

Product

Resources

About