Por "concurrencia" me refiero a procesos ligeros como los actores de Erlang y GC concurrente, cuyo objetivo es hacer que dichos procesos funcionen sin problemas.

Sería genial si INRIA se deshiciera de los inconvenientes de la implementación actual de OCaml para hacer que OCaml esté más preparado para el futuro multinúcleo.

PD F # no es lo que estoy buscando.