Sites Inria

English version

Séminaire des équipes de recherche

A proposal for a resource management model for OCaml

© INRIA Sophie Auvin - G comme Grille

A new understanding of Stroustrup's destructors in the context of the linear call-by-push-value models gives rise to a proposal for a resource management model for ML-style programming languages.

  • Date : 25/06/2018
  • Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C
  • Intervenant(s) : Guillaume Munch-Maccagnoni

I will first recall the "what", "why" and "how" of RAII and move semantics as found in the C++11 and Rust languages, and make several observations for which the practice and the model agree.
Then I will focus on three aspects of the proposal:

  • How a notion of resource polymorphism offers the opportunity to extend OCaml and its libraries with C++/Rust-style ownership and borrowing of resources, with backwards-compatibility in mind.
  • How and why one can extend this resource-management model to memory management by mixing GC allocation with RAII-based allocation.
  • How and why one can take inspiration from the multicore proposal for region-based resource management to support Rust-style lifetimes.

Mots-clés : Séminaire Gallium Inria de Paris Management OCaml

Haut de page

Suivez Inria