Comment by johnisgood
Comment by johnisgood 16 hours ago
Pretty much, I would say, in fact, I like OCaml better if we put the borrow checker aside.
Comment by johnisgood 16 hours ago
Pretty much, I would say, in fact, I like OCaml better if we put the borrow checker aside.
Thankfully, like many other languages that rather combine models instead of going full speed into affine types, OCaml is getting both.
Besides the effects type system initially introduced to support multicore OCaml, Jane Street is sponsoring the work for explicit stack allocation, unboxed types, modal types.
See their YouTube channel.