A resource modality for RAII

Guillaume Combette 1 Guillaume Munch-Maccagnoni 2, 3
1 ENS Lyon - École normale supérieure - Lyon
2 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
3 LS2N - Laboratoire des Sciences du Numérique de Nantes
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
https://hal.inria.fr/hal-01806634
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Monday, June 4, 2018 - 1:32:19 AM
Last modification on : Monday, September 23, 2019 - 3:27:18 PM
Long-term archiving on : Wednesday, September 5, 2018 - 12:11:10 PM

File

raii-modality-short.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01806634, version 1

Collections

EC-NANTES | UNAM | LS2N | INRIA | UNIV-NANTES | LS2N-GALLINETTE | ENS-LYON

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

345

Files downloads

132

Contact


archive-ouverte@inria.fr