-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!wsisiz.edu.pl!newsfeed2.atman.pl!newsfe
ed.atman.pl!goblin2!goblin.stu.neva.ru!feeder2.cambriumusenet.nl!feed.tweaknews
.nl!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Wojciech Muła <w...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Ada 2012 Rationale
Date: Sat, 7 Jul 2012 14:46:08 -0700 (PDT)
Organization: http://groups.google.com
Lines: 45
Message-ID: <a...@g...com>
References: <6...@g...com>
<7...@g...com>
<2...@g...com>
NNTP-Posting-Host: 188.47.243.11
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1341697568 25329 127.0.0.1 (7 Jul 2012 21:46:08 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sat, 7 Jul 2012 21:46:08 +0000 (UTC)
In-Reply-To: <2...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=188.47.243.11;
posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn
User-Agent: G2/1.0
Xref: news-archive.icm.edu.pl pl.comp.programming:198317
[ ukryj nagłówki ]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.
Następne wpisy z tego wątku
- 08.07.12 04:21 A.L.
- 08.07.12 11:55 Wojciech Muła
- 08.07.12 14:18 Maciej Sobczak
- 08.07.12 17:12 A.L.
- 08.07.12 18:34 Wojciech Muła
- 08.07.12 18:56 Wojciech Muła
- 08.07.12 19:35 A.L.
- 08.07.12 18:41 Wojciech Muła
- 08.07.12 23:48 Maciej Sobczak
- 09.07.12 00:00 Maciej Sobczak
- 09.07.12 10:19 Roman W
- 09.07.12 13:45 Maciej Sobczak
- 09.07.12 14:13 Roman W
- 09.07.12 14:58 Stachu 'Dozzie' K.
- 09.07.12 15:37 Roman W
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-03 Pruszków => Specjalista ds. public relations <=
- 2025-03-03 Białystok => System Architect (Java background) <=
- 2025-03-03 Białystok => System Architect (background deweloperski w Java) <=
- 2025-03-03 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-03 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-03 Warszawa => Data Engineer (Tech Lead) <=
- 2025-03-03 Gliwice => Ekspert IT (obszar systemów sieciowych) <=
- 2025-03-03 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-03 Mińsk Mazowiecki => Area Sales Manager OZE <=
- 2025-03-03 Warszawa => Spedytor Międzynarodowy <=
- 2025-03-03 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-03-03 Katowice => Key Account Manager (ERP) <=
- 2025-03-02 Tusk idzie na rekord deportacji po 1989 [Będzie popyt na prawników]
- 2025-03-01 Obywatel telefonuje 112 lub 986
- 2025-03-01 detektyw (?) Rutkowski działał jako prasa