W dniu sobota, 7 lipca 2012 16:00:14 UTC+2 użytkownik Wojciech Muła 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.

> Składnia wyrażeń warunkowych
> to, IMHO, ledwie lukier składniowy.

Zgadza się, ale ten cukier też ma szersze znaczenie - tu nie chodzi tylko o to, żeby
zrobić coś a la pytajnik z C++, tylko żeby pozwolić na łatwiejsze pisanie
jednolinijkowych predykatów bezpośrednio w plikach specyfikacji, które to predykaty z
kolei mogą być nazwane, refaktoryzowane, itd. i użyte choćby w tych warunkach
pre/post. Dopiero jak się spojrzy na całość to widać jak się te rzeczy zazębiają.
Same wyrażenia warunkowe oderwane od tej reszty to faktycznie pikuś.
Natomiast warte uwagi są też standardowe kontenery, które się mocno rozrosły od
poprzedniej wersji.

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

Ano obsysają - zwłaszcza ten nowy interfejs, wygląda jak forum dla debili.
Najwyraźniej złote czasy dobrze rozumianych innowacji firma ma już za sobą.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com