It is indeed pretty cool and has most of what I need except for things like scientific (numerical) libraries. You could import GSL via FFI I suppose as both the free GNU and the Adacore commercial compiler are GCC based I think (I know the GNU one is for sure). That is another slight problem of mine. I think there is an exception to where you don't have to release source if you use the GNU Ada toolchain, but all the common libraries provided by Adacore are GPL'd so you likely have to skip that version and strictly use what I imagine is the expensive Adacore commercial version (no GPL) if you have IP issues.

The language itself is pretty awesome and I'd have no issue using it over C/C++ in most situations. They might have sane pricing for their commercial compiler, IDE, and Spark if you're just one person and not a government avionics shop, but I'm not sure. I'd love for Adacore to respond if they have someone in their communications group who has permission to do so.

I try to keep up with their blog posts and love their new logo. Like a lot of old computing technologies (Lisp, Smalltalk, Forth, APL...etc) I feel like Ada just didn't have the computing power or marketing it needed when it was introduced. I know I'd certainly feel safer riding on pretty much any transportation written in Ada over C or C++. I'm happy to see Smalltalk getting a second shot with Pharo, Lisp with Racket and Clojure (even Common Lisp is seeing a slight resurgence) and I wish the Ada community good luck!