Making OCaml Safe for Performance Engineering
Jane Street · 47:08
Jane Street’s OCaml language team is extending the language with kinds (layouts) and modes so programmers can get unboxed/flat data, stack allocation, and statically race-free parallelism while keeping type safety, in...