A Typed Monadic Embedding of Aspects

Nicolas Tabareau 1, 2 Ismael Figueroa 3 Éric Tanter 3
1 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes 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.
Type de document :
Communication dans un congrès
12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan. 2013
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00763695
Contributeur : Nicolas Tabareau <>
Soumis le : mardi 11 décembre 2012 - 12:09:39
Dernière modification le : jeudi 9 novembre 2017 - 01:03:49
Document(s) archivé(s) le : samedi 17 décembre 2016 - 23:51:57

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

335

Téléchargements de fichiers

273