Dnia 24.10.2012 Maciej Sobczak <s...@g...com> napisał/a:
>> a w C można było napisać takiego ifa tak samo jak w Adzie.
>
> Można go też było nie napisać tak jak w Adzie. Różnica polega na tym, że Ada ma
jeszcze pod spodem mechanizm zdefiniowany na poziomie języka, którego C nie ma.
> Ten mechanizm jest normalnie włączony, ale można go wyłączyć.
>

Nie jest wcale tak "zawsze i wszędzie", przykład (liczenie silni metodą
rekurencyjną):

with Ada.Text_Io; use Ada.Text_Io;
with Ada.Integer_Text_Io; use Ada.Integer_Text_Io;
procedure Tabelka_silnia is
function Silnia (N:Integer) return Integer is
begin
if (N=0) then
return 1;
else
return N*Silnia(N-1);
end if;
end Silnia;
begin
for I in 1..50 loop
Put(I); Put(Silnia(I));
New_Line;
end loop;
end Tabelka_silnia;

I... dupa, typ wbudowany okazuje się "za mały" na pomieszczenie wyniku
a kontroli zakresów (i generowania wyjątków) nie ma. To że na przykład
GNAT ma opcję -gnato to już inna bajka (mógłby nie mieć i też by
przeszedł testy na zgodność). Żaden język nie zwalnia od myślenia :D