Zuhant már le repülőgép szoftverhiba miatt, ami Ada-ban volt írva, meg rakétával is volt vmi kellemetlen eset. De az biztos, hogy Ada-ban LEHET
jó és biztonságos programot írni, érdemes megnézni, milyen minősítési eljárás után neveznek egy fordítót Ada fordítónak.
Készült már egyébként AdaOS, (Assembly+Ada), eddig két projektet láttam, az egyik eljutott a boot floppy-ig, és az fut is, szóval egy kernel elkészült, de az nulláról, nem Solaris-ból.