vphantom

That's exactly what version 5 brings: multicore is fully merged in now.

I think libraries like Lwt will be the ones to offer the level of abstraction which you're describing. I too would like to see the simplicity of goroutines make it into OCaml 5 ASAP.

On parentheses, this is one of the main reasons why I integrated ocamlformat with my editor: I write explicit parentheses around everything and I let the formatter remove the superfluous ones. No surprises or guesswork that way.

There was http://www.ocamljava.org/ around 2015 but there wasn't enough interest to keep the project going.

A fascinating project currently in development is Caramel, a BEAM VM (Erlang) back-end to the OCaml compiler: https://github.com/AbstractMachinesLab/caramel

I don't think he's a co-founder but he is the one who brought OCaml into that company. Started out as a means to do some quick demos and ended up being their language of choice.

FYI strings are now immutable in OCaml. It was a compiler option starting with 4.02 and it has become enabled by default since 4.06.

The problem with gloves only would be the lack of tactile feedback to tell your fingers that the key press has registered.

I used a Datahand for several years and while it was very easy on fingers (the activation pressure was much less than typical keyboards, even Topre's), the tactile feedback from the switches was I think essential for typing efficiently.

I miss that thing...

Luckily, they don't bring with them a lot of cognitive overhead for the developer, so their presence masks the expressiveness of OCaml in LOC stats IMHO. I use interface files to make public signatures explicit, abstract away some types and write thorough doc-comments. I'd be tempted to exclude them from such a comparison to better relate code size with programmer efficiency, especially when comparing to a language like Python.

On the other hand, in languages like C we couldn't exclude header files because they include macros. (Although I suppose a fancier comparison could count macros and exclude function signatures.)

No go for me on Firefox 59.0 / Debian 64bit. I even restarted Firefox but they're all still "Legacy Extensions". :(