4 ms·
Oxidizing OCaml: Data Race Freedom
- lpw25 3y agoThis is part 3 of a series, the previous posts were: 1. Locality: https://blog.janestreet.com/oxidizing-ocaml-locality/ https://blog.janestreet.com/oxidizing-ocaml-locality/ (Discussion: https://news.ycombinator.com/item?id=36094799 https://news.ycombinator.com/item?id=36094799) 2. Rust-style ownership: https://blog.janestreet.com/oxidizing-ocaml-ownership/ https://blog.janestreet.com/oxidizing-ocaml-ownership/
- jedharris 3y agoI'm surprised / disappointed this got so little attention on HN.
- jedharris 3y agoVery 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.