apart from being a very interesting paper, the author has a wonderfully readable and engaging style.
Can anyone ELI5 this for me? I read the introduction but in not familiar with ocaml specifically or type systems in general…
it’s proposing to extend ocaml with a new class of objects, whose lifetime is managed via RAII (a la C++).
here is an explanation of RAII; read that and then read over sections 2.1 and 2.2 where the paper discusses how RAII might be combined with a garbage collector. It also borrows ideas from linear and affine type systems tried out in other languages (most notably rust) and explores how they would fit into this new language.
This is so exciting and awesome!