Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C Lundi 25 juin, 14h00 -------------------------- Guillaume Munch-Maccagnoni -------------------------- ==================================================== A proposal for a resource management model for OCaml ==================================================== 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. 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.