Results
16 articlesSort
12:43ENHow OCaml Represents Values in MemoryA practical tour of immediate integers, heap blocks, runtime tags and variant constructors, illustrated with OCaml's Obj module.
9:25ENRichard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
8:06ENHow OCaml's Proposed Include Functor Syntax Reduces RepetitionA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
14:36ENProgramming with OCaml's Local ModeAn example shows how a local list can contain global values, why a non-escaping annotation alone does not ensure stack allocation, and where the experimental feature remains awkward.
11:28ENOCaml Local Types: Regional Parameters and Loop RegionsA demonstration explains why some local parameters can cross a function boundary and how loop regions reclaim allocations.
9:14ENOCaml Local Function Types: Why Partial Application Can EscapeRichard Eisenberg · Jane StreetRichard Eisenberg uses a list-append example to show how a local argument changes the mode of a partially applied function in Jane Street’s OCaml compiler branch.
3:30ENRichard Eisenberg on Jane Street's OCaml ExperimentsRichard Eisenberg · Jane StreetJane Street's compiler team is exploring unboxed types, locality modes, and data-race-free parallelism to make OCaml's performance and memory management better suited to its needs.
11:07ENHow OCaml Locals Use a Separate StackA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.
12:52ENOCaml Local Variables, Return Values and RegionsA worked example shows how `local_` and `exclave_` let a function accept a local value and return a local structure in its caller's region.
8:52ENIntroducing Local Parameters in OCamlA demonstration of how Jane Street's experimental local mode restricts escaping values and makes function interfaces easier to reason about.
2:21ENVarun on Software Engineering at Jane StreetVarun · Jane StreetA London-based developer describes useful technical foundations, OCaml training and team matching at Jane Street.
5:49ENIan on Software Engineering at Jane StreetIan · Jane StreetA London desk developer explains code review, OCaml training, intern projects and the feedback that comes from sitting near users.
3:48ENVal on Software Engineering and Collaboration at Jane StreetVal · Jane StreetA London developer explains how colleagues teach new hires, review production code, and work across teams.
3:30ENBrittany on Software Engineering and Internships at Jane StreetBrittany · Jane StreetAn equities desk engineer explains how interns learn finance and OCaml, contribute meaningful projects and collaborate with traders.
3:09ENMinjie on Cybersecurity Engineering at Jane StreetMinjie · Jane StreetA Hong Kong software engineer describes learning OCaml, working on an internal permissions system and collaborating across teams on security alerts.
4:11ENInside Production Engineering at Jane StreetMark, Liora, Joseph · Jane StreetThree engineers describe the balance between resolving live issues and building software that makes support more effective.