Why did I vote Ocaml?
Well, I'm thinking in terms of how much of our world is being run by software now-a-days, and how that is looking to increase.
I don't think Ocaml necessarily, but on one level, if every programmer were experienced in a strongly-typed functional language (even if they didn't use it), I believe software would be better. For most programmers, learning something like Haskell requires a complete rewire of their brain. I say that is a good thing.
Secondly, I consider way too much of the world's software to be written in lower-level languages than need be. I think a lot of software would have far less bugs and be more flexible if it were developed in a language such as Ocaml.
At this point, programming in any language that doesn't allow for higher order functions is rather annoying.
Man, I kinda wish I'd been drinking so I'd have an excuse for the lack of flow and grammar in this post.