>>28
Ada is a compiled language that goes out of its way to be correct and save the programmer hours of wasted debugging time by producing code that is proven correct from the beginning
I had to write a couple of assignments in Ada in freshman year. You practically have to "prove it correct" by hand with all the verbose type system and control structure syntax (though it's still better than Java).
I would rather use a language where the compiler at least makes an effort to help you. There's no call for something as obnoxious or exotic as Haskell, but it would at least be nice to have an Ada-like language with type inference and lighter syntax.