I have left lots of comments about Ada, but I do not have them at hand right now. People should check out Ada's contracts (pre- and post-conditions), and subranges. They are pretty cool.

... 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.

If you click on your username then there is a link to all of your past comments.