Results
4 articlesSort
15:59EN
Jane Street· May 7, 2024Tail Calls and Local Regions in OCamlRichard Eisenberg · Jane StreetA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
23:25ENJane Street· Feb 20, 2024Richard Eisenberg: How OCaml Locals Reduce Garbage-Collected AllocationRichard Eisenberg · Jane StreetAn annotated list-processing example shows why locality must be preserved both when values are created and when functions consume them.
22:27ENJane Street· Feb 7, 2024How OCaml Infers LocalityRichard Eisenberg · Jane StreetA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENJane Street· Jan 31, 2024OCaml Locals, Modes, and SubmodingRichard Eisenberg · Jane StreetA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.