Efficient Deconstruction with Typed Pointer Reversal (abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Efficient Deconstruction with Typed Pointer Reversal (abstract)

Résumé

The resource-management model of C++ and Rust relies on compiler-generated destructors called predictably and reliably. In current implementations, the generated destructor consumes stack space proportionally to the depth of the structure it destructs. We describe a way to derive destructors for algebraic data types that consume a constant amount of stack and heap. We discuss applicability to C++ and Rust, and also some implication for anyone wishing to extend an ML-style language with first-class resources.
Fichier principal
Vignette du fichier
efficient-drops-mlworkshop.pdf (229.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02177326 , version 1 (08-07-2019)
hal-02177326 , version 2 (09-07-2019)

Identifiants

  • HAL Id : hal-02177326 , version 2

Citer

Guillaume Munch-Maccagnoni, Rémi Douence. Efficient Deconstruction with Typed Pointer Reversal (abstract). ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8. ⟨hal-02177326v2⟩
1931 Consultations
890 Téléchargements

Partager

Gmail Facebook X LinkedIn More