Ха! Слона то я и не приметил! Есть же Ада! Есть версии gnat'a генерирующие байткод как для jvm, так и для .net. Причем, судя по всему, adacore активно работает над интеграцией во все стороны. Т.е. ada <-> java, ada <-> .net.

Всё, думаю вопрос закрыт.