-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erj
e.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!news.dns-netz.com!ne
ws.freedyn.net!aioe.org!.POSTED.s2QBRRfSc9Sp6Mlo0A4xaA.user.gioia.aioe.org!not-
for-mail
From: AK <n...@n...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>
<3...@g...com>
<qkicu0$knb$1@gioia.aioe.org>
<4...@g...com>
NNTP-Posting-Host: s2QBRRfSc9Sp6Mlo0A4xaA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: a...@a...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-Language: en-GB
Xref: news-archive.icm.edu.pl pl.comp.programming:213906
[ ukryj nagłówki ]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
Następne wpisy z tego wątku
- 03.09.19 09:42 M.M.
- 03.09.19 10:58 Maciej Sobczak
- 03.09.19 16:28 Roman Tyczka
- 03.09.19 18:34 AK
- 03.09.19 18:35 AK
- 03.09.19 18:43 AK
- 03.09.19 20:04 M.M.
- 03.09.19 20:26 AK
- 03.09.19 20:49 Maciej Sobczak
- 03.09.19 20:51 Maciej Sobczak
- 03.09.19 21:05 Maciej Sobczak
- 03.09.19 21:33 g...@g...com
- 04.09.19 08:32 M.M.
- 04.09.19 09:31 Maciej Sobczak
- 04.09.19 09:53 g...@g...com
Najnowsze wątki z tej grupy
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-05-06 Fotowoltaika do c.w.u.
- 2024-05-06 Warszawa => Senior IT Recruiter <=
- 2024-05-06 Kraków => Lider Serwisu/Programista PLC z językiem niemieckim <=
- 2024-05-06 Berlin => Solution Architect (secure communication and IoT solutions)
- 2024-05-06 Czy szpital przekazuje dokumentację medyczną do Starosty powiatu?
- 2024-05-06 naprawa zamka
- 2024-05-06 Kraków => Mid/Senior QA Engineer <=
- 2024-05-06 Warszawa => Java Developer <=
- 2024-05-06 Re: Prawo móżdżek...
- 2024-05-06 Toruń => UX/UI Designer <=
- 2024-05-06 Wrocław => UX/UI Designer <=
- 2024-05-06 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-06 Białystok => Senior Software Engineer PHP (BillPro) Kontraktor <=
- 2024-05-06 Warszawa => AI Specialist <=
- 2024-05-05 Taki dinks do drzwi