🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.programming
Article #215549

Re: Ada Tutorial - w Instytucie Lotnictwa

#215549
From: Maciej Sobczak
Date: Thu, 09 May 2019 06:04
36 lines
3559 bytes
> > Bardzo dobrze.
> 
> To jakiś egzamin?

A jakbym normalnie i zgodnie z grupowymi zwyczajami zawalił Cię bluzgami, to by nie był? :-)

> > Problem tylko w tym, że bardzo rzadko wiadomo, co z nimi zrobić.
> 
> I jaki to ma związek z narzekaniem na jezyk C++?

Myślałem, że narzekamy na standard kodowania. Zakaz używania wyjątków jest dosyć uniwersalny, niezależny od języka.

> > Często sprowadza się to do pokazania użytkownikowi komunikatu o błędzie.
> 
> Nie wiem co to znaczy "często", ale u mnie raczej nie.

Interesujące. Ale to może (!) oznaczać, że obsługujesz wyjątki relatywnie blisko ich wystąpienia.

> Ale przecież przykład miał służyć marudzeniu o bezdennnym dziadostwie C++.

Właśnie zgubiłem się, co hejtujemy. Jeśli C++, to niesłusznie (co za niespodzianka!), bo zakaz wyjątków jest niezależny od języka.

> Taki mały przykłąd z systemu krytycznego:
> 
> return a() && b() && c() && d() ... ;
> 
> To jest emulacja wyjątku w środowisku gdzie wyjątków ma nie być. Wyszło 
> jak zwykle. Parcie na systemy ograniczone wcale nie generuje lepszego 
> jakościowo kodu, co najwyżej generuje kod który lepiej ogarnia się 
> formalną weryfikacją a i to jest mocno naciągane.

Niezupełnie. W takich systemach może być wymaganie na pokrycie testami każdej ścieżki. Jeżeli są wyjątki, to tych ścieżek nawet nie widać a rozstrzygnięcie automatyczne ile ich jest i gdzie może wymagać dostępu do całego kodu i nawet wtedy może być nierealne. Natomiast użycie iloczynu logicznego tak jak powyżej, chociaż wątpliwe stylistycznie, jest jednak lokalne - tzn. analizę wszystkich ścieżek da się zrobić w ramach tylko tego wyrażenia. Wtedy znacznie łatwiej spełnić wymaganie pokrycia testami.
Dlatego nie zgadzam się z określeniem "wyszło jak zwykle". Ten przykład da się obronić. Stylistycznie słaby (subiektywnie), ale broni się na poziomie procesu.

-- 
Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID: <0f4d8931-97a9-458d-9f80-49c2e268f195@googlegroups.com>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!takemy.news.telefonica.de!telefonica.de!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!t9no6332861qtn.0!news-out.google.com!b26ni404qtp.1!nntp.google.com!t9no6332856qtn.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
References: <c1760262-b4a3-44fe-a99e-2fa16be86820@googlegroups.com> <btKtE.25850$wd2.16727@fx24.fr7> <9537dd39-0164-41a6-803b-393b77b4a701@googlegroups.com> <qasr5t$7i2$1@dont-email.me> <b177541d-5a3c-4d33-bf62-b05209ff7d12@googlegroups.com> <qav3qi$qv$1@dont-email.me>

Show Full Headers
Complete Article Headers
X-Received: by 2002:a0c:d44a:: with SMTP id r10mr1956656qvh.131.1557381883775;        Wed, 08 May 2019 23:04:43 -0700 (PDT)
X-Received: by 2002:ae9:e30e:: with SMTP id v14mr1754065qkf.91.1557381883631; Wed, 08 May 2019 23:04:43 -0700 (PDT)
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!takemy.news.telefonica.de!telefonica.de!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!t9no6332861qtn.0!news-out.google.com!b26ni404qtp.1!nntp.google.com!t9no6332856qtn.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 8 May 2019 23:04:43 -0700 (PDT)
In-Reply-To: <qav3qi$qv$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.71; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.84.71
References: <c1760262-b4a3-44fe-a99e-2fa16be86820@googlegroups.com> <btKtE.25850$wd2.16727@fx24.fr7> <9537dd39-0164-41a6-803b-393b77b4a701@googlegroups.com> <qasr5t$7i2$1@dont-email.me> <b177541d-5a3c-4d33-bf62-b05209ff7d12@googlegroups.com> <qav3qi$qv$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0f4d8931-97a9-458d-9f80-49c2e268f195@googlegroups.com>
Subject: Re: Ada Tutorial - w Instytucie Lotnictwa
From: Maciej Sobczak <see.my.homepage@gmail.com>
Injection-Date: Thu, 09 May 2019 06:04:43 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit