I was tempted to check Ada, since it is ~*~THE PERFECT PROGRAMMING LANGUAGE~*~, but aside from discussing it in a class I've never actually used it.