I've written a few small projects in Ada, and it's a better language than it gets credit for.

Yes, it's verbose. I like verbosity; it forces clarity. Once you adjust, the code becomes easier to read, not harder. You spend less time guessing intent and more time verifying it. Or verify it, ignore what you verified, then go back and remind yourself you're an idiot when you realize the code your ignored was right. That might just be me.

In small, purpose-built applications, it's been pleasant to code with. The type system is strict but doesn't yell at you a lot. The language encourages you to be explicit about what the program is actually doing, especially when you're working close to the hardware, which is a nice feature.

It has quirks, like anything else. But most of them feel like the cost of writing better, safer code.

Ada doesn't try to be clever. It tries to be clear, even if it is as clear as mud.