Discussion about this post

User's avatar
Alex's avatar

Why every developer ignores existence of Ada programming language? It has all the features described here (like pre- and post-conditions, mandatory default initialization and much-much more) in the 1995! It had borrow checker in 2014! And modern Ada has even more safety features.

No posts

Ready for more?