[OCaml'22] Stack allocation for OCaml

Stack allocation for OCaml

Stephen Dolan (Jane Street)
Leo White (Jane Street)

Allocating values on a stack instead of the garbage collected heap can improve performance by improving cache locality and avoiding GC pauses. However, it requires that the values do not escape the lifetime of their associated stack frame. We describe an extension to OCaml that allows values to be allocated on a stack and ensures through the type system that they do not escape their stack frame.

[OmniscientOCE]

Really cool! What resource could I look at to learn a bit more about these "modes" instead of types? I haven't heard of it before (I'm a noob so not surprising)