A resource modality for RAII - Archive ouverte HAL Access content directly
Conference Papers Year :

A resource modality for RAII

(1) , (2, 3)
1
2
3

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.
Fichier principal
Vignette du fichier
raii-modality-short.pdf (195.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01806634 , version 1 (04-06-2018)

Identifiers

  • HAL Id : hal-01806634 , version 1

Cite

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⟩
408 View
298 Download

Share

Gmail Facebook Twitter LinkedIn More