Comment by johnisgood
5 months ago
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.
I know, but I have left a lot of comments and there are way too many pages, so it would be better to be able to search for a string among all of my comments. It would take me a lot of time to look for a particular comment that I left a long time ago. Not worth it.