Because we did!
For instance, this is exactly the approach that we have released back in 2009 with http://opalang.org
Naturally, there are things we would implement differently today, but the OCaml codebase of the compiler is still, in my humble and biased opinion, pretty valid.
is opa still alive and being used? i was pretty excited about it when it was released (especially when it still had the ML syntax), but it never seemed to gain any traction.
Because we did! For instance, this is exactly the approach that we have released back in 2009 with http://opalang.org
Naturally, there are things we would implement differently today, but the OCaml codebase of the compiler is still, in my humble and biased opinion, pretty valid.