Ocaml is developing quite well. I wish we could simplify the readability of the language. Reason comes pretty close to this. And a nice django clone in ocaml/reason would lead to a lot of traction