Resource Polymorphism: Integrating First-Class Resources into ML

Explore a proposal for integrating first-class resources into ML in this 33-minute conference talk from ACM SIGPLAN's ML'23 event. Delve into the concept of resource polymorphism as presented by Guillaume Munch-Maccagnoni. Examine how the C++/Rust programming model's use of destructors for resource management can be adapted and idealized for ML. Discover the potential for mixing garbage collection and linear allocation with re-use as memory management strategies within a single language. Learn about the challenges and novel aspects of this proposal, which aims to better integrate functional programming with systems and parallel programming. Gain insights into the speaker's 2018 paper on Resource Polymorphism and its relevance to the ICFP community.

[ML'23] Resource polymorphism: proposal for integrating first-class resources into ML