Re:The History of Standard ML [audio]
by Zababa on Tuesday July 13, 2021 @03:19PM
(#27825053)
Thank you for the explanation! I feel like I understand this better now.
> The timeline for typed effects is not clear to me, it might take a long time, especially with the stringent constraints of backward compatibility.
From what I understand, the "long time" will be probably less than modular implicits, which are estimated at at least a few years away. There are a few informations here https://discuss.ocaml.org/t/multicore-ocaml-may-2021/7990 and here https://discuss.ocaml.org/t/multicore-ocaml-june-2021/8134, where at least we can see that the effect branch is up to date with 4.12. The performance seems really good, I can't find it anymore but they had the same performance as Go's net/http with http/af. It's a very exciting space!
> The timeline for typed effects is not clear to me, it might take a long time, especially with the stringent constraints of backward compatibility.
From what I understand, the "long time" will be probably less than modular implicits, which are estimated at at least a few years away. There are a few informations here https://discuss.ocaml.org/t/multicore-ocaml-may-2021/7990 and here https://discuss.ocaml.org/t/multicore-ocaml-june-2021/8134, where at least we can see that the effect branch is up to date with 4.12. The performance seems really good, I can't find it anymore but they had the same performance as Go's net/http with http/af. It's a very exciting space!