Názor k článku Bezpečné programování ala Ada od Bohuslav Roztočil - > Neni lepsi proste vic testovat? Ale to je...

> Neni lepsi proste vic testovat?
Ale to je právě ono! Překladač silně typového jazyka vlastně provádí část testů sám, takže je není nutné implementovat znovu a znovu a znovu...

> Proc se tedy jazyky tohoto typu ... nepouzivaji vic?

Ada je moloch. Sám jazyk obsahuje konstrukce pro "úplně všechno", např. nízkoúrovňové I/O či synchronizaci paralelních procesů. IMHO v době jejího vzniku nebylo snadné udělat překladač, navíc takový aby se vešel na tehdejší HW, takže existovaly jen implementace přísně kontrolované US vládou. A mezitím se objevily "lepší" jazykym např. <flame>Java</flame>. ;-)