Ada (Pascal-inspired) was designed to be a language that's safe against (mediocre) programmers. And it's case-insensitive. Note that Ada is especially made for reliable systems and they really look for error sources. Case sensitivity didn't show up as a problem, so they didn't have to change it in any later version (Ada 2012 now).