On 04/10/2019 08:16, AK wrote:
> Czy Ci sie to podoba czy nie, Ada jest jednak _najbezpieczniejszym_
> jezykiem programowania. O (kilka?)rzad wielkosci bezpieczniejszym
> od C/C++ czy nawet Pascala.

Nikt nie twierdzi inaczej.

> Stawianie wiec Ady na rowniz z C/C++ czy assemblerem jest po prostu
> horrendum... :(

I nikt jej tutaj nie stawia. Wskazuje jednak palcem że możesz sobie
wybrać dowolny język weryfikowalny po zęby i dalej mieć bugi. Co usilnie
religia Adowców próbuje wciskać do głów managerów to opinia jakoby
magicznie rozwiązują się wszelakie problemy inżynierii programowania i
weryfikacji kodu. Najwidoczniej wyjatkowo dobrze zadziałało to z
Ariane5. Wolałbym też aby na tej religii nie był projektowany respirator
którego może będę musiał kiedyś użyć.