Inferring Locality in OCaml | OCaml Unboxed
Jane Street · 22:27
The OxCaml compiler infers local/global allocation modes by being as permissive as possible: unconstrained parameters default toward local (a function that promises not to let its argument escape can still accept glob...