Ergebnisse
6 ArtikelSortieren
15:59ENTail Calls and Local Regions in OCamlA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
23:25ENRichard 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:27ENHow OCaml Infers LocalityA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENOCaml Locals, Modes, and SubmodingA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.
25:44ENWhy Functional Programming Matters at Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.
23:58ENEffective ML: Errors, Abstraction and Managing ComplexityA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.