if what he is looking for is a higher than C++/Java level language, there are plenty of higher level languages that fit the bill and are compiled. Haskell and OCaml come to mind.