Article View: pl.comp.programming
Article #215964Re: Jak to robią w NASA
From: AK
Date: Mon, 02 Sep 2019 19:33
Date: Mon, 02 Sep 2019 19:33
27 lines
2268 bytes
2268 bytes
On 2019-09-02 14:16, Maciej Sobczak wrote: >>> Tak, zgadza się. Trzeba być jeszcze bardziej (!) rygorystycznym. >> >> Hehe. Smiechu warte. > > O, fajna dyskusja będzie. Dlaczego śmiechu warte? > > Zanim się rozpędzisz, mały hint: nie napisałem, że takich reguł powinno być jeszcze więcej, albo że funkcje powinny być jeszcze krótsze. Ale nadal twierdzę, że trzeba być bardziej jeszcze bardziej rygorystycznym. Tak, ale w inny - normalny sposob (wyjasnien nizej). > No więc dlaczego śmiechu warte? Dlatego, że zamiast dopracować "nowy" język programowania typu "safety" (niech to nawet będzie Misra-C/C++, ale jako _jezyk_ a nie zwykle chore C/C++ z setkami reguł ktore rudno zpamietac, a co dopiero stosowac (wiem wiem, Parasofty itp super na tym syfie zarabiaja:), albo po prostu "odkurzyć" i ulepszyć Adę - czy nawet Modulę2 (tak tak wiem - M2 to bardziej real-time niz safety) to na siłę trzyma się tych C/C++ czyli języków _skrajnie_ nie nadających się do tzw. "bezpiecznego" programowania. PS: Oczywiscie wiem ze Misra(y) to nie tylko j.prog czy AUTOSARowe normy np. do bilbliotek/APIs, ale czesc tyczaca C/C++ zwyczajnie przyprawia o wymioty... :( AK
Technical Details
Message-ID:
<qkjqqi$1b59$1@gioia.aioe.org>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!news.dns-netz.com!news.freedyn.net!aioe.org!.POSTED.s2QBRRfSc9Sp6Mlo0A4xaA.user.gioia.aioe.org!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@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!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!news.dns-netz.com!news.freedyn.net!aioe.org!.POSTED.s2QBRRfSc9Sp6Mlo0A4xaA.user.gioia.aioe.org!not-for-mail From: AK <nobody@nowhere.net> Newsgroups: pl.comp.programming Subject: Re: Jak to robią w NASA Date: Mon, 2 Sep 2019 21:33:36 +0200 Organization: Aioe.org NNTP Server Lines: 27 Message-ID: <qkjqqi$1b59$1@gioia.aioe.org> References: <1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> NNTP-Posting-Host: s2QBRRfSc9Sp6Mlo0A4xaA.user.gioia.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit