Jeez, I remember in college in the 80's we were wondering if there would ever be decently-performing Ada on an MS-DOS machine. Now it's compiling to a watch :)
http://lambda-the-ultimate.org/node/5232
High-integrity languages are certainly getting more efficient. Just makes it more fun for me when I'm told how they're "too inefficient" for systems work by C fans. ;)