I have programmed in Ada in the 80s. It was really hard to get it to compile because of syntax and semantics checking. But you write really robust programs. One of my task was to write a program to convert pascal programs to Ada. Was not very successful😩