Conversation

Susan Potter
@SusanPotter
Haskeller here and excited to see this happen for OCaml after seeing multicore efforts over a couple of years from the sidelines. 5.x might be time for me to pull my sleeves up and really pick up OCaml this time.
Quote Tweet
Thomas Gazagnaire
@eriangazag
·
"The OCaml team has decided that the time has come for such a commitment. The new major version, OCaml 5, will be a multicore version of OCaml. Moreover, OCaml 4.14 will be the last minor release of the 4.x series of OCaml.” Be ready @OCamlMulticore :-) discuss.ocaml.org/t/the-road-to-
8
73
Matt Teichman
@ElucidationsPod
Another thing that could be appealing to Haskellers is that they're getting pure IO (not obligatorily, but for when you want it) by way of algebraic effects, which is an interesting alternative to doing it monadically.
1
13
Brendan Zabarauskas
@brendanzab
AFAIK, the release won't include type-checking of effects yet, but it's something that's being worked on! But yeah, it's really cool to see OCaml making moves towards purity. Effects and handlers seem like a really nice way to do it!
1
7
Matt Teichman
@ElucidationsPod
Yes; good point. What is it they're saying? The effects will be type checked but whether they're handled won't? Something like that. I think it's for backwards compatibility with older exception-throwing code.
1
2
Brendan Zabarauskas
@brendanzab
As I understand it there will be an extensible effects system in the future, which will check that stuff has been handled, but that's distinct from the runtime support. In other words, you can have an effect system with without it being a typed effect system.
1
2