A Typed Monadic Embedding of Aspects

Nicolas Tabareau 1, 2 Ismael Figueroa 3 Éric Tanter 3
1 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : We describe a novel approach to embed pointcut/advice aspects in a typed functional programming language like Haskell. Aspects are first-class, can be deployed dynamically, and the pointcut language is extensible. Type soundness is guaranteed by exploiting the un- derlying type system, in particular phantom types and a new anti- unification type class. The use of monads brings type-based rea- soning about effects for the first time in the pointcut/advice setting, thereby practically combining Open Modules and EffectiveAdvice, and enables modular extensions of the aspect language.
Document type :
Conference papers
12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan. 2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00763695
Contributor : Nicolas Tabareau <>
Submitted on : Tuesday, December 11, 2012 - 12:09:39 PM
Last modification on : Wednesday, October 7, 2015 - 1:14:55 AM
Document(s) archivé(s) le : Saturday, December 17, 2016 - 11:51:57 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00763695, version 1

Collections

Citation

Nicolas Tabareau, Ismael Figueroa, Éric Tanter. A Typed Monadic Embedding of Aspects. 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan. 2013. <hal-00763695>

Share

Metrics

Record views

310

Document downloads

245