Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Guillaume Munch-Maccagnoni Connect in order to contact the contributor
Submitted on : Monday, June 4, 2018 - 1:32:19 AM
Last modification on : Wednesday, November 3, 2021 - 4:20:50 AM
Long-term archiving on: : Wednesday, September 5, 2018 - 12:11:10 PM


Files produced by the author(s)


  • HAL Id : hal-01806634, version 1


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⟩



Les métriques sont temporairement indisponibles