Quote:
Originally Posted by chaley
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. |
I totally, totally agree....