Rust-style resource management in OCaml

Re:Rust-style resource management in OCaml by Rusky on Thursday March 15, 2018 @10:35PM (#16598156)

To provide stronger types in some cases? To opt into in performance-sensitive programs? To see if it can be made less burdensome if different tradeoffs are made?

[ Parent | on HN ]

Re:Rust-style resource management in OCaml by abiox on Thursday March 15, 2018 @11:07PM (#16598281)

what do you mean by "stronger types"?

[ Parent | on HN ]

Re:Rust-style resource management in OCaml by testestx on Friday March 16, 2018 @12:28AM (#16598630)

Affine and linear types and variants (ownership types, uniqueness types) can model predictable release of resources, like a compiler-enforced C++'s RAII.

As another commenter put,

> The paper explains it's because they want deterministic destructors for things like file handles.

[ Parent | on HN ]