vala (gnome) ressemble pas mal a java et c#, l’implémentation officielle compile vers du C.
ya aussi,
rust (mozilla): backend maison et llvm
chicken-scheme: compile scheme vers du c
chapel (cray): llvm, peu de tuto/doc, orienté calcul parallèle
ooc: compile vers du c, hipster
nimrod: compile vers du c, hipster
ocaml: backend maison
gnu prolog: gcc
gnat ada: gcc, lourdingue