Article View: pl.comp.programming
Article #215548Re: Ada Tutorial - w Instytucie Lotnictwa
From: heby
Date: Wed, 08 May 2019 17:31
Date: Wed, 08 May 2019 17:31
32 lines
2577 bytes
2577 bytes
On 08/05/2019 07:54, Maciej Sobczak wrote: >> Wyjątki nie łapie się po każdym dodawaniu. Łapie się tam gdzie wiadomo >> co z nimi zrobić. > Bardzo dobrze. To jakiś egzamin? > Problem tylko w tym, że bardzo rzadko wiadomo, co z nimi zrobić. I jaki to ma związek z narzekaniem na jezyk C++? > 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. > Oba te przypadki nie mają zastosowania w systemach krytycznych takich jak sterowanie samolotem. Ale przecież przykład miał służyć marudzeniu o bezdennnym dziadostwie C++. > W szczególności, standard kodowania dla tego samolotu w ogóle zabrania używania wyjątków. Standardy kodowania zawiarają dużo więceń wykluczeń, wiele z nich generuje po stronie programisty emulacje zachowań wykluczonych. 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.
Technical Details
Message-ID:
<qav3qi$qv$1@dont-email.me>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!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mailReferences:
<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>Show Full Headers
Complete Article Headers
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!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: heby <heby@poczta.onet.pl> Newsgroups: pl.comp.programming Subject: Re: Ada Tutorial - w Instytucie Lotnictwa Date: Wed, 8 May 2019 19:31:59 +0200 Organization: A noiseless patient Spider Lines: 34 Message-ID: <qav3qi$qv$1@dont-email.me> 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> Mime-Version: 1.0 Injection-Date: Wed, 8 May 2019 17:32:02 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="6a844a121edbbb0b387afcf48ad0ec76"; logging-data="863"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+yaX2ZOwayJjmC4G/jvNbr" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 Cancel-Lock: sha1:CFohUoJYioH5UKmrk+WdsHvcGuI= In-Reply-To: <b177541d-5a3c-4d33-bf62-b05209ff7d12@googlegroups.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit