Názor k článku Bezpečné programování ala Ada od David - >>> Právě důmyslný silný typový systém a zakázání...

>>> Právě důmyslný silný typový systém a zakázání automatických konverzí je cestou k rychlejšímu, levnějšímu vývoji bezpečnějších a spolehlivějších aplikací.
Hrozne by me zajimalo, jestli krome Vaseho FTP serveru existuje nejaka dalsi success story z posledni doby a na "bezny" problem (ne raketoplan), ktera by podporila tohle tvrzeni. Proc se tedy jazyky tohoto typu (ADA, Eiffel aj.) nepouzivaji vic? Neni lepsi proste vic testovat?