And another interesting thing to note about the approach taken here, is that I did several surveys and interviews that explored why developers choose the langua

And another interesting thing to note about the approach taken here, is that I did several surveys and interviews that explored why developers choose the languages they do, and there were many cases where people could have (arguably should have) chosen either of OCaml/Haskell but didn't. I wanted to find out why, and the most common responses were that: they didn't like the syntax of OCaml, they didn't like the available build systems, the installation was too difficult or didn't integrate with their familiar workflow, it needed a better debugger, and the type errors needed improvement (approximately in that order for the groups I asked - which were heavily biased towards application developers). So, the approach we're taking is to solve the most common objections we can do something about, and other people in the OCaml community are making tons of progress towards solving these problems as well (build systems and gdb support for example) (as well as ones I think are even more important than all of the ones I heard about in my survey (multicore etc)).