On 03/10/2019 22:01, AK wrote:
> Tak. Tyle tylko, ze _prawdopodobienstwo_ zrobienia buga w Adzie jest o
> ile tak procent/rzedow mniejsze niz w slawetnym C/C++.
> _I o to w tym wszytskim chodzi_ ! :)

I jak zapewne zauważyłeś nie dyskutuje z tą opinią bo jest ona prawdziwa.

Nieprawdziwa jest opinia że Ada jest bezpieczna bo język utrudnia
robienie błedów.

Nie, soft jest tak bezpieczny jak dobrze jest przetestowany. Rodzaj
wybranego języka co najwyżej determinuje narzędzia uzyte w procesie
weryfikacji i komfort pisania. Czy Ada czy Asm na końcu i tak chodzi
tylko o to jak zweryfikowaliśmy to co napisaliśmy.