[kerseykyle]

Ada, it has a better typing system than any of the more modern languages and checks to find some common errors when it compiles.