Нарисовался ещё один возможный претендент: OCaml.
Как оказалось есть таки компиляторы в java-байткод. Например:
http://cafesterol.x9c.fr/index.html
http://cadmium.x9c.fr/index.html

Для .net'а оно существует в виде F# -- подмножества OCaml'а с некоторыми .net-специфическими фичами.
Ну а для x86 и всякого подобного есть обычный компилятор.

Правда вопрос в том, насколько то что нагенерит компилятор ocaml'а в либу, будет удобно дёргать из какого-нибудь C++.