News for hackers. Stuff that matters.

A comment on The struggle with Rust. Parent comment

Re:The struggle with Rust by pcwalton on Tuesday January 24, 2017 @11:25AM (#13472698)
Ownership and borrowing are also useful for avoiding data races. OCaml solves the problem by not having any shared state at all, which is obviously a huge limitation.
[ Parent | on HN ]
Re:The struggle with Rust by jnbiche on Tuesday January 24, 2017 @12:12PM (#13473264)
Current OCaml needn't worry about data races since no state is shared. Unfortunately, current OCaml also only exploits a single core, but it's so insanely fast that usually doesn't matter.

Upcoming OCaml multicore solves the shared state and data races problem with algebraic effects[0]. It is working, it's just not yet been released in mainline OCaml. Supposedly, that will happen this year, but we'll see.

0. http://kcsrk.info/ocaml/multicore/2015/05/20/effects-multico...

[ Parent | on HN ]