Новый ocaml 4 вышел -> http://www.linux.org.ru/news/opensource/8035399 К сожалению, мультитредовости рантайма у них даже в планах нет.