Conversation

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

· Oct 7, 2021

"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-

Matt Teichman

@ElucidationsPod

Oct 7, 2021

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.

Replying to

and

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!

12:26 PM · Oct 7, 2021Twitter Web App

Replying to

and

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.

Brendan Zabarauskas

@brendanzab

Oct 7, 2021

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.

Show replies