Oxidizing OCaml: Data Race Freedom

This is part 3 of a series, the previous posts were:

1. Locality: https://blog.janestreet.com/oxidizing-ocaml-locality/ (Discussion: https://news.ycombinator.com/item?id=36094799)

2. Rust-style ownership: https://blog.janestreet.com/oxidizing-ocaml-ownership/

Very clean design, easier to understand than Rust (partly because better explained). Maybe shows the outlines of a clearer way to think about parallelism, which I hope will be fleshed out by further design moves, some of which are previewed in the last few paragraphs.

I'm surprised / disappointed this got so little attention on HN.