Quote:
Originally Posted by phossler
I haven't heard ADA in a gazilion years since it was pushed as the ultimate answer to everything
|
I worked on/with Ada for several years. The very strong type structure was good and helped ensure that various modules and "subsystems" were verifiably compatible with each other. Interface-verification configuration management become possible. I think it is unfortunate that typeless language structures won out, perhaps because of the productivity myths of agile programming. Yes, they are easier to code but no, they open so many doors to unexpected and incorrect behavior. Not a problem when the result is one can't read a book, but not good when a self-driving car runs over a kid.