11 ms·
Great article! I've written lots of Ada, and I actually had no idea Ada had such a thing as "Expression functions". I do understand the reasons why many people
by ajxs 5y ago
Great article! I've written lots of Ada, and I actually had no idea Ada had such a thing as "Expression functions". I do understand the reasons why many people seem to dislike Ada so much, compared to C it's fussy and verbose. However using Ada resolves so many of the issues people have with coding in C, and C++. I'd recommend anyone who regularly writes programs in C to see what Ada has to offer. SPARK is also worth taking a look at. AdaCore's documentation on what SPARK has to offer to people working with MISRA C makes a great case for the language's use: https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Deve...
- thesuperbigfrog 5y ago>> I actually had no idea Ada had such a thing as "Expression functions". The John Barnes book mentioned in the article covers some of the differences between the Ada language versions. Expression functions were added in Ada 2012 and directly support preconditions, postconditions, and various aspects in SPARK 2014.