W dniu wtorek, 3 lipca 2012 09:55:58 UTC+2 użytkownik Maciej Sobczak napisał:
> Właśnie został zebrany w całość dokument pt. "Ada 2012 Rationale", który wcześniej
powstawał w kolejno publikowanych kawałkach:
>
> http://www.ada-auth.org/standards/rationale12.html
>
> Jest to opis i uzasadnienie nowych ficzerów w Adzie.

W sumie najciekawsze są rozszerzenia sprawdzania typów:
pre/postwarunki i niezmienniki. Składnia wyrażeń warunkowych
to, IMHO, ledwie lukier składniowy.

w. (kurde, piszę to 3. raz, google groups obsysają)