News for hackers. Stuff that matters.

A comment on The problem of effects in Rust (2020). Parent comment

Re:The problem of effects in Rust (2020) by momentoftop on Saturday August 28, 2021 @04:40AM (#28336566)
Last I looked, Ocaml's upcoming effect system is untyped, so doesn't really belong in the discussion.
[ Parent | on HN ]
Re:The problem of effects in Rust (2020) by andreypopp on Saturday August 28, 2021 @05:29AM (#28336777)
Upcoming OCaml multicore won't expose effects at all. I believe the intention is to finish work on typed effects[1] and only then add it to the language.

[1]: https://www.janestreet.com/tech-talks/effective-programming/

[ Parent | on HN ]
Re:The problem of effects in Rust (2020) by pdimitar on Saturday August 28, 2021 @06:52AM (#28337099)
They have an effects branch but admitted it won't be ready in time for OCaml 5.0 (supposedly arriving around end of 2021 / early 2022) so they have a separate compiler variant with it where the progress can be tracked.

Last I read, they really want to nail down the entire multi-threaded environment to the last detail first (which mostly means make sure no parallel bugs are introduced + single-threaded code won't become slower; both pretty huge goals).

[ Parent | on HN ]