-
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
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-17 Lublin => Full Stack Java Developer <=
- 2024-07-17 Lublin => Java Full Stack Developer (+Angular) <=
- 2024-07-17 Turek => IT Project Manager (experience with C#) <=
- 2024-07-17 Warszawa => Mobile React Native Developer <=
- 2024-07-05 eSIM na czym polega
- 2024-07-15 Roaming poza unią
- 2024-07-16 Jak tanio dzwonic do Wielkiej Brytani?
- 2024-07-16 Dzień bez ICE
- 2024-07-15 Spalinówki płoną doszczętnie
- 2024-07-15 Pojemność akumulatora
- 2024-07-15 Elektryk8i dalej płoną.
- 2024-07-15 Motodziennik #284 NOWY MG HS z hybrydą oraz wraca FORD CAPRI (jako SUV)
- 2024-07-14 [FILM] SAMOCHODY ELEKTRYCZNE DO WIELKIE ŚCIEMA? TYLKO FAKTY!
- 2024-07-14 Znieczulica w narodzie
- 2024-07-13 Protect Your PC with IObit Malware Fighter Pro 11.3.0.1346 Multilingual