How OCaml Represents Values in Memory
Jane Street · 12:43
OCaml’s everyday memory model is deliberately simple: values are either immediates (63-bit tagged integers) or pointers to heap blocks with a one-word header, so the garbage collector can tell integers from pointers a...