Ada

Высокоуровневый и низкоуровневый паскале-подобный язык программирования со статической строгой типизации и мощной системой типов.