| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [23 references]
https://hal.inria.fr/hal-01806634
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Monday, June 4, 2018 - 1:32:19 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM
Document(s) archivé(s) le : Wednesday, September 5, 2018 - 12:11:10 PM
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Monday, June 4, 2018 - 1:32:19 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM
Document(s) archivé(s) le : Wednesday, September 5, 2018 - 12:11:10 PM
File
raii-modality-short.pdf
Files produced by the author(s)