HN user
> At least OCaml doesn't pretend to support threading, unlike most other GIL-bound languages.
OCaml does support threading, you don't need LWT of Async for I/O concurrency.
http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual039.ht...
Functors simply provide dependency injection for modules. It's no different from any other kind of dependency injection, except that modules themselves are a very flexible unit of organisation.
What about Jane Street's Core (http://ocaml.janestreet.com/?q=node/13), or Batteries Included (http://batteries.forge.ocamlcore.org/) ?
OcamlJava is a work-in-progress implementation of OCaml on the JVM, from Xavier Clerc of INRIA. http://ocamljava.x9c.fr/
There's also Yeti ( http://mth.github.com/yeti/ ), an ML for the JVM, though I'm not sure how mature it is yet.