Я так понимаю, сейчас, едниственные достойные высокоуровневые статические языки, генерящие быстрые бинари с нормальными либами и без скрытых граблей - ocaml, C++ и D ?
плюсы есть на гораздо большем количестве платформ, чем ghc. вывод типов есть при помощи auto, гринтреды не нужны когда есть Boost.Thread, gc тоже не всегда нужен.