Regions with OCaml's Local Types | OCaml Unboxed
Jane Street · 11:28
In Jane Street’s OxCaml compiler, a local annotation on a function parameter is actually regional: that value may escape exactly one region (the callee), which is why an identity function and a tail-recursive iter app...