-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!fu-berlin.de!postnews.google.com!glegro
upsg2000goo.googlegroups.com!not-for-mail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Ada 2012 Rationale
Date: Sat, 7 Jul 2012 14:07:45 -0700 (PDT)
Organization: http://groups.google.com
Lines: 41
Message-ID: <2...@g...com>
References: <6...@g...com>
<7...@g...com>
NNTP-Posting-Host: 46.171.80.166
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1341695355 2931 127.0.0.1 (7 Jul 2012 21:09:15 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sat, 7 Jul 2012 21:09:15 +0000 (UTC)
In-Reply-To: <7...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.171.80.166;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
Xref: news-archive.icm.edu.pl pl.comp.programming:198315
[ ukryj nagłówki ]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
Następne wpisy z tego wątku
- 07.07.12 23:46 Wojciech Muła
- 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.
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