Я так понимаю, сейчас, едниственные достойные высокоуровневые статические языки, генерящие быстрые бинари с нормальными либами и без скрытых граблей - ocaml, C++ и D ?