W dniu sobota, 7 lipca 2012 23:07:45 UTC+2 użytkownik Maciej Sobczak napisał:
> > W sumie najciekawsze są rozszerzenia sprawdzania typów:
> > pre/postwarunki i niezmienniki.
>
> Niby tak, w tym sensie, że najbardziej się to rzuca w oczy - warto jednak
> pamiętać, że te warunki są sprawdzane dynamicznie i działają na zasadzie
> automatycznie generowanych assertów, które strzelają wyjątkami w razie
> niespełnienia warunku. To znaczy, że jest to raczej krok w stronę Eiffelowych
> kontraktów, niż kontynuacja statycznej kultury wykrywania bugów i to jest też
> źródło ich krytyki ze strony Adowego betonu.
> Z drugiej strony - intencją tych warunków jest taki stopień zintegrowania z
> resztą, żeby ich statyczna analiza była jak najbardziej możliwa i należy się
> spodziewać, że z biegiem czasu (czyli w miarę udoskonalania kompilatorów)
> coraz większa ich część będzie sprawdzana już w czasie kompilacji.

Właśnie, nie sądzę też, żeby to mógł być nadużywany mechanizm. Zresztą,
ten statyczny obecnie wcale nie musi być statyczny - w sensie, bez kosztów :)
Zerknąłem niedawno w wygenerowany kod i dla typu Float range 0 .. Float'Max
każda operacja na nim to było kilka instrukcji FPU + sprawdzenie czy wynik > 0.

> Natomiast warte uwagi są też standardowe kontenery, które się mocno rozrosły
> od poprzedniej wersji.

Może to przyciągnie więcej firm do zwykłego softu. Ale ogólnie myślę,
że przydałby się lepszy PR, żeby ludzie nie myśleli, że w Adzie warto
pisać tylko, gdy robimy samoloty lub latamy w kosmos. :)

w.