-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!wsisiz.edu.pl!goblin1!goblin.stu.neva.r
u!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september
.org!.POSTED!not-for-mail
From: heby <h...@p...onet.pl>
Newsgroups: pl.comp.programming
Subject: Re: POpularno?? j?zyk?w programowania ??
Date: Thu, 3 Oct 2019 20:25:18 +0200
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <qn5eeg$2t3$1@dont-email.me>
References: <ZFueF.189972$Jh2.55867@fx39.am4>
<5d835054$0$525$65785112@news.neostrada.pl>
<qm5o8c$6mr$1@news.icm.edu.pl>
<5d867c27$0$17361$65785112@news.neostrada.pl>
<qm5va9$c07$1@dont-email.me> <5d86b148$0$520$65785112@news.neostrada.pl>
<qm7c3j$pl6$1@dont-email.me> <5d87968d$0$503$65785112@news.neostrada.pl>
<qm875f$g8o$1@dont-email.me> <5d87b31a$0$522$65785112@news.neostrada.pl>
<qm8e0j$s55$1@dont-email.me> <qmgven$som$1@z-news.wcss.wroc.pl>
<qmiovo$fk3$1@dont-email.me> <qml41c$h79$1@z-news.wcss.wroc.pl>
<qmlhb2$b1k$1@dont-email.me>
<d...@g...com>
<qmt9rr$e6n$1@dont-email.me>
<3...@g...com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 3 Oct 2019 18:25:21 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
posting-host="98e0b2e8fd940abe76a03c93cacadd75"; logging-data="2979";
mail-complaints-to="a...@e...org";
posting-account="U2FsdGVkX1+mU74ypvDnV85psBoV3GT1"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
Thunderbird/60.9.0
Cancel-Lock: sha1:suGjCuS6EuHp9axWjPQVjLH2B/8=
In-Reply-To: <3...@g...com>
Content-Language: en-US
Xref: news-archive.icm.edu.pl pl.comp.programming:214182
[ ukryj nagłówki ]On 01/10/2019 09:15, Maciej Sobczak wrote:
>> Arine 5. "Steve, słuchaj, kończy nam się pamięć, to może olejemy te
>> testy, co? Przecież wszystko zmieści się na bank w 16 bitach a Ada jest
>> taka bezpieczna że sobe pewno da radę".
> Czyli nie czytałeś raportu z analizy tej katastrofy.
Ależ czytałem. Nie inputuj.
> Na pocieszenie: mało który internetowy "ekspert" czytał.
> Skrót jest taki: w Ariane 5 wykorzystano moduł opracowany dla Ariane 4, czyli pod
inne wymagania.
I nikt go pod te wymagania nie testował. Wiadomo, prawdziwego
programiste poznać na tym że raz napisze i już.
> Natomiast decyzję o wykorzystaniu tego modułu w innej rakiecie podjęli ludzie,
których czasem się nazywa "inżynier systemowy"
Słusznie. "inzynier syatemowy" bowiem zakłada magiczność Ady i niajk nie
potrafi sobie wyobrazić że ktoś może używać jej jako asemblera zaś
ludzie z zespołu programistów nagle musieli lecieć do kibla i nikt nie
protestował.
Jeśli się upierasz że winę nie ponosi ktoś kto napisał kiepską funkcję
tylko jakiś pierdzący w stołek dyrektor to może spuśćmy zasłonę
milczenia na to jak zakończą się następne projekty tego teamu skoro
decyzje o użyciu kodu wykonuje się bez twórców i testów.
> Wniosek: to nie pierdykło z powodu programistów
Bzdura. Ktoś, powtórze to jeszcze raz, użył Ady jako assemblera. I można
to zrobic w dowolnym języku. Czyli można pisać gównany kod w Adzie i
znakomity w C. Wszystko zależy od progamistów i ich religijności a w
zasadzie jej braku. Ale znacznie bardziej zależy od metod weryfikacji.
Kod który zakłada że "wynik obliczeń na pewno zmieści się w typie int16
alnie nie testujemy bo nie chce nam się" jest do dupy z definicji.
Choćby dlatego że w takim wypadku używa się arytmetyki z saturacją jesli
ma wystapić niemożliwe. A tu najzwyczajniej w "bezpiecznym języku"
odpierdolono byle jak.
> Hint: gdybyś był tam *programistą*, to też by pierdykło, bo miałbyś w tej sprawie
dokładnie tyle samo do powiedzenia
Miałbym do powiedzenia znacznie więcej. Na przykład to że jezyk
programowania jest DOKŁADNIE tak bezpieczny jak metody do jego
weryfikacji których tutaj nie było.
Ada pokazuje że można z bezpiecznego języka zrobić takie same fajerwerki
jak z pisania w C.
Całośc bredzenia o wyższości jakiejś składni nad inną składnią jest
śmieszna. Zawsze podstawowe pytanie brzmi: czy kod jest zweryfikowany,
poddany testom, ma pokrycie coverage które definiuje jakiś poziom ryzyka.
A tutaj sobie jakiś misio wrzuca kod z jednego systemu do drugiego. W
BEZPIECZNYM języku, wiec na pewno nic się nie stanie. Bum. No cóż, życie.
Następne wpisy z tego wątku
- 03.10.19 21:47 AK
- 03.10.19 21:52 AK
- 03.10.19 22:01 AK
- 03.10.19 22:13 AK
- 03.10.19 22:19 heby
- 03.10.19 22:26 heby
- 03.10.19 22:28 heby
- 03.10.19 22:39 M.M.
- 04.10.19 07:48 Maciej Sobczak
- 04.10.19 07:51 Maciej Sobczak
- 04.10.19 08:16 AK
- 04.10.19 08:17 Maciej Sobczak
- 04.10.19 08:18 AK
- 04.10.19 08:23 AK
- 04.10.19 16:40 J-23
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-04 Lunar Rover był elektrykiem. Ważył 35 kg Zasięg 80 km Na Księżycu w 1971 r.
- 2024-05-04 Marki => ERP Implementer <=
- 2024-05-04 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-04 Marki => Wdrożeniowiec ERP <=
- 2024-05-03 Warszawa => Sprzedawca usług rekrutacyjnych <=
- 2024-05-03 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-03 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-03 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-03 Rzeszów => UX/UI Designer <=
- 2024-05-03 Giertych przetarł szlak: byli członkowie zarządu Orlenu śledztwa prokuratorskie obserwują z zagranicy
- 2024-05-03 Warszawa => Senior Rust Software Engineer <=
- 2024-05-03 Kraków => UX/UI Designer <=
- 2024-05-03 Warszawa => International freight forwarder <=
- 2024-05-02 Silnik Stirlinga - energia mechaniczna wytwarzana z ciepła bez dostarczania paliwa!
- 2024-05-02 Kraków => Senior .Net Programmer <=