One take away is that learning Ada would be a good way to learn the proper way to write C++ code, because the patterns that C++ developers eventually adopted for that level of abstraction are prescribed in Ada. For instance, Ada's Controlled Types map pretty much exactly to the C++ "RAII" pattern.

Ada also is better than C as an embedded language because it has features that make mapping to hardware easier. For instance, it has Representation Clauses that describe to the compiler how a data structure needs to be laid out in memory. It also has native support for bit manipulation. This makes mmaped-io extremely easy and reliable.

... and of course Ada / SPARK. You can do a lot of checks at compile time, so no performance penalty for any checks whatsoever. It is worth looking into.

And yes, you are right. Ada has concurrency constructs builtin the language that help you avoid dead locks, race conditions and all sorts of concurrency-related issues.

If anyone finds my comment with regarding to it, or may help me find it (there may be a website that could help with that), please let me know. IIRC there is a website for finding comments containing particular words from me, for example.

https://github.com/doomemacs/doomemacs/tree/master/modules/l...