Názor k článku Bezpečné programování ala Ada od Marek Paška - >Ještě maličkost - GNAT není kompilátor ale >translátor...

>Ještě maličkost - GNAT není kompilátor ale >translátor ADA->C.

Není pravda. GNAT rozhodně negeneruje žádný céčkový kód, který by se dál parsoval atd. Naopak překlad celkem rychlý. GNAT překládá do mezikódu, ze kterého nějaká vrstva GCC vyrábí stroják. (Existuje i JGNAT, který generuje Javy bytecode.)