The fact is, this is hugely important to the vast majority of the software
industry and companies are investing massive amounts of time and effort into
parallelizing their software. Developers are flocking to .NET because it
makes parallelism easy and OCaml has the potential to provide these benefits
if the parallel GC project flies.

Maybe... while I agree with your earlier points, I have not seen *any* .NET uptake in the bay area, particularly with startups. People are using Hadoop, or some in-house version of it, or toying with Erlang, to get parallel efficiency.