A resource modality for RAII

Abstract : We model exceptions in a linear, effectful setting by relaxing the notion of monadic strength to contexts that are discardable, in the spirit of C++ destructors. This gives rise to a resource modality reminiscent of unique_ptr and move semantics in C++11. We explore consequences in language design for resource management in functional programming languages.
Type de document :
Communication dans un congrès
LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages, Jul 2018, Oxford, United Kingdom. pp.1-4
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01806634
Contributeur : Guillaume Munch-Maccagnoni <>
Soumis le : lundi 4 juin 2018 - 01:32:19
Dernière modification le : mardi 26 juin 2018 - 09:06:25
Document(s) archivé(s) le : mercredi 5 septembre 2018 - 12:11:10

Fichier

raii-modality-short.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01806634, version 1

Citation

Guillaume Combette, Guillaume Munch-Maccagnoni. A resource modality for RAII. LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages, Jul 2018, Oxford, United Kingdom. pp.1-4. 〈hal-01806634〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

46