Ada is awesome, too good for its own good. Shitty programmers want instant satisfaction (only to later spend 90% of the time hunting bugs). In Ada, if it compiles, there's a very high chance it'll work correctly. Moreover it is a fully compiled language, if you disable range and overflow checking it can run at the speed of light (heck, I think gcc will let you use inline asm). I used it very little but it left a good impression on me.