A resource modality for RAII - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

A resource modality for RAII

Résumé

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.

Domaines

Langage de programmation [cs.PL] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
raii-modality-short.pdf (195.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Munch-Maccagnoni  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01806634

Soumis le : lundi 4 juin 2018-01:32:19

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : mercredi 5 septembre 2018-12:11:10

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01806634 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE UDL NANTES-UNIVERSITE
533 Consultations
344 Téléchargements

Partager

More