> That's the theory yes: giving more information to the compiler should > produce better performing programs, the truth is that all our high level > language are usually slower than C.. I beg to disagree - The Ocaml and Clean compilers are pretty much on par with gcc (http://shootout.alioth.debian.org), and these languages are pretty high level.