Learning Ada

I’m not going to write everything about the book as I read it, but I will say that I like the basic structure here: first some history, then imperative programming stuff, then talking about types. After that it gets into packages, more type stuff, privacy, generics, exceptions, tasks, interfacing with C, the standard library, and some appendices. Ranged integers are something people always say Rust is better at than Ada; I wondered if this was a static or dynamic check.

Source: words.steveklabnik.com