Ada

Does anyone have experience with it? How its compared to C and C++?

US military fucking loves Ada. And Cobol, but most of the newer stuff is Ada or C. It's a terrible place to be a programmer. It's literally a bunch of bullet-sponges making the technical decisions.