Article View: pl.comp.programming
Article #215965Re: Jak to robią w NASA
From: M.M.
Date: Tue, 03 Sep 2019 07:42
Date: Tue, 03 Sep 2019 07:42
32 lines
2890 bytes
2890 bytes
On Monday, September 2, 2019 at 9:33:41 PM UTC+2, AK wrote: > 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... :( Moim zdaniem dobry C++ w rękach dobrego (niekoniecznie bardzo dobrego) programisty od jakiegoś czasu już nadaje się do bezpiecznego programowania. Pozdrawiam
Technical Details
Message-ID:
<7f84db6a-7be1-42c7-b959-c17132373fc0@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!wsisiz.edu.pl!goblin2!goblin1!goblin.stu.neva.ru!o24no5354661qtl.0!news-out.google.com!d29ni502qtg.1!nntp.google.com!o24no5354659qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!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> <qkjqqi$1b59$1@gioia.aioe.org>Show Full Headers
Complete Article Headers
X-Received: by 2002:ac8:74c7:: with SMTP id j7mr1839019qtr.37.1567496556174; Tue, 03 Sep 2019 00:42:36 -0700 (PDT) X-Received: by 2002:a37:8547:: with SMTP id h68mr10818302qkd.219.1567496556069; Tue, 03 Sep 2019 00:42:36 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!wsisiz.edu.pl!goblin2!goblin1!goblin.stu.neva.ru!o24no5354661qtl.0!news-out.google.com!d29ni502qtg.1!nntp.google.com!o24no5354659qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Tue, 3 Sep 2019 00:42:35 -0700 (PDT) In-Reply-To: <qkjqqi$1b59$1@gioia.aioe.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.36.205.84; posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj NNTP-Posting-Host: 178.36.205.84 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> <qkjqqi$1b59$1@gioia.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7f84db6a-7be1-42c7-b959-c17132373fc0@googlegroups.com> Subject: Re: Jak to robią w NASA From: "M.M." <mmarszik@gmail.com> Injection-Date: Tue, 03 Sep 2019 07:42:36 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit