A couple of my college friends use Ada daily and have been working with it for over 15 years now. One of them fell in love with the language when our first ever programming course was taught in Ada, presumably to get students with started with a solid base :-)

They now work on radar systems at Thales Group. I've read that it's also widely used in aviation, e.g. at Boeing[1] or Airbus. As for general development, from my (albeit limited) experience the type system is a bit heavier than I'd like. It's certainly a great help for highly reliable systems, but most applications probably don't need such a strict language.

[1] "The Boeing 777 Flies on 99.9% Ada" http://archive.adaic.com/projects/atwork/boeing.html

[2] "Airbus chooses AdaCore for autonomous aircraft software testing" https://www.aerospacetestinginternational.com/news/software/...

I've been doing my hobby projects in Ada for the last couple of years. At the moment, I'm building a game for the Pimoroni Picosystem. Most of my code is open source.

https://github.com/JeremyGrosser?tab=repositories&q=&type=so...

In 25+ years in software, I've only met one person who used Ada. He worked for a defense contractor.

I use Ada in many of my personal projects. I think it's a great programming language and would definitely endorse its use on new projects.

I use it for pretty much everything (personal projects), unless it's a one-day/one-run script kind of deal. And even for those little throwaway things... I'm real tempted to use Ada anyway.

It's just so damn comfortable to use that I often have a hard time using other languages now. I think writing down what things mean in the type system helps catch any issues in my approach before I get too far with it. Being able to easily but powerfully write down what things mean in my programs is amazing. I don't need to worry about unloading some part of the program from my head, because everything I need to remember is written down - and enforced by the compiler.

Once I got over feeling paranoid when my programs just worked after they compiled, I found I could actually relax quite a lot while programming. There's just so much stuff I no longer need to be constantly watching out for. It's great.

I'm writing a game engine [1], including a replacement for GLFW/SDL with support for gamepad rumble/motion/battery/LED (only for Wayland/Linux atm)

[1] https://github.com/onox/orka

I’ve thought about it, I absolutely love the type system, but I haven’t had a project where I think it’s be a good fit compared to something else.