Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada

eGospodarka.pl › Grupy › pl.comp.programming › Dlaczego software to F35 jest pisany w C++ a nie w Ada › Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada

Received: by 10.52.75.36 with SMTP id z4mr704957vdv.14.1348692899767; Wed, 26 Sep
2012 13:54:59 -0700 (PDT)
Received: by 10.52.75.36 with SMTP id z4mr704957vdv.14.1348692899767; Wed, 26 Sep
2012 13:54:59 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!goblin3!goblin.stu.neva.ru!news.bbs-scene.org!border4.nntp.dca.giganew
s.com!border2.nntp.dca.giganews.com!nntp.giganews.com!l8no12123969qao.0!news-ou
t.google.com!e10ni53868478qan.0!nntp.google.com!l8no12123961qao.0!postnews.goog
le.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 26 Sep 2012 13:54:59 -0700 (PDT)
In-Reply-To: <k3vo9p$u74$1@node2.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.171.80.166;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 46.171.80.166
References: <3...@g...com>
<3...@g...com>
<k3idkc$ne3$1@node2.news.atman.pl>
<9...@g...com>
<k3spfr$46s$1@node2.news.atman.pl>
<8...@g...com>
<k3vo9p$u74$1@node2.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f...@g...com>
Subject: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
From: Maciej Sobczak <s...@g...com>
Injection-Date: Wed, 26 Sep 2012 20:54:59 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Lines: 42
Xref: news-archive.icm.edu.pl pl.comp.programming:199645
[ ukryj nagłówki ]
W dniu środa, 26 września 2012 22:24:26 UTC+2 użytkownik Sebastian Biały napisał:

> > Znaczy siďż˝: tak, moďż˝na w Adzie *wyďż˝ďż˝czyďż˝* bezpieczniki.
>
> Dlatego bezpieczeďż˝stwo jest pozorne.

Ręce opadają. Będziesz bił pianę do końca świata, bo można. Czapka też nie chroni
przed odmrożeniem uszu, bo można jej nie założyć.

> Ada niczego nie
> gwarantuje, a jedynie umoďż˝liwia. To juďż˝ samo z siebie jest wystarczajďż˝co
> podejrzane.

Otóż Ada gwarantuje, że domyślnie włączone bezpieczniki zadziałają poprawnie.
Gwarantuje też, że bezpieczniki wyłączone nie zadziałają.
Ja tu widzę same gwarancje. Można z nich skorzystać w obie strony.

> Moďż˝na by siďż˝ zastanawiaďż˝ dlaczego jďż˝zyk pozwoliďż˝ na wyďż˝aczenie jednej z

> jego najbardziej eksponowanych cech

Bo jego najbardziej eksponowaną cechą jest to, że programistę wspomaga a nie
zastępuje. ABS i system kontroli w trakcji w samochodach też zwykle da się wyłaczyć.

Sorry, ale dotarliśmy do punktu, w którym nie potrafię dalej dyskutować. Nie potrafię
bronić czapki, której Jaś nie założył (gorzej: Jaś ją specjalnie zdjął, bo już miał
ją założoną) i odmroził sobie uszy.

> z pewnďż˝
> nutkďż˝ satysfakcji wywlekam tego suchara

Pamiętaj też o poduszkach powietrznych. Takie rzeczy trzeba piętnować.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com