Для чего нужен язык программирования Ада?