Multicore OCaml: September 2021, effect handlers will be in OCaml 5.0(discuss.ocaml.org)

27 pointsby anuragsoni5 anni fa3 comments

discuss.ocaml.org

Multicore OCaml: September 2021, effect handlers will be in OCaml 5.0

https://discuss.ocaml.org/t/multicore-ocaml-september-2021-effect-handlers-will-be-in-ocaml-5-0/8554

3 comments

OCaml is becoming a must learn language for those who want to take their C programming to the highest levels, because:

1. Frama-C, which enables writing bug-free C programs, is implemented using a combination of OCaml and the Coq proof assistant (which is itself implemented in OCaml):

https://frama-c.com/

2. CompCert, a formally verified C compiler, is implemented using OCaml and Coq:

https://github.com/AbsInt/CompCert

Nothing at this level yet exists in the Rust and Zig ecosystems, for example. Rust is a very complicated language with many features which makes formalization much harder than with C and OCaml, which both had mathematical ideas of simplicity, analyzability, and minimalism inspire their designs, even if they continue to grow into more complicated monsters, which, incidentally this OCaml 5.0 release will contribute towards. :-)

aijony5 anni fa

Did somebody say the Fastest Fourier Fransform in the West [1]?

I love this kind of stuff, but the barrier to entry just seems so huge.

https://ocaml.org/learn/success.html#FFTW

dandotway5 anni fa

Using a language suitable for rocket-science level computer science doesn't mean you are forced to do rocket-science level stuff, though. (I sure don't!) The barrier to entry is pretty much typing "OCaml tutorial" into your browser and then finishing the hello world program about 60 seconds later. Although the procrastination power of HN is perhaps a more formidable barrier to entry. ;-)