Exploring the Hidden Secrets within OCaml’s Local Function Types | OCaml Unboxed
Jane Street · 9:14
A function marked local in Jane Street's OxCaml is not just “a function that takes local values”: any local argument is captured in the closure of a partial application, so that closure is itself local even when the w...