Re: POpularno?? j?zyk?w programowania ?? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › POpularność języków programowania w POlsze - na przykładzie 4progrmmers.net › Re: POpularno?? j?zyk?w programowania ??

Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news-1.dfn.de!n
ews.dfn.de!news.uni-stuttgart.de!news.unit0.net!eternal-september.org!feeder.et
ernal-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: Sat, 28 Sep 2019 20:21:48 +0200
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <qmo8bs$n6t$2@dont-email.me>
References: <ZFueF.189972$Jh2.55867@fx39.am4>
<b...@g...com>
<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>
<f...@g...com>
<qmnls7$tml$2@news.icm.edu.pl> <qmo7ml$n2a$2@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 28 Sep 2019 18:21:48 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
posting-host="b6e653a3674cdeacc6e5604dbed51f79";
logging-data="23773";
mail-complaints-to="a...@e...org";
posting-account="U2FsdGVkX1/MlowMjUP3dCbuaD4DqXAD"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
Thunderbird/60.9.0
Cancel-Lock: sha1:JdQ1jmOYRgv1ltys9xdMMGT6GXE=
In-Reply-To: <qmo7ml$n2a$2@gioia.aioe.org>
Content-Language: en-US
Xref: news-archive.icm.edu.pl pl.comp.programming:214133
[ ukryj nagłówki ]
On 28/09/2019 20:10, AK wrote:
>> Zwłaszcza że program w C można skompilować trzema lub więcej
>> zupełnie różnymi kompilatorami - a w ten sposób sprawdzić, czy
>> np. wyniki obliczeń nie zależą od kompilatora.
> Hehe. To jest _kpina_ a nie weryfikacja poprawnosci.

Mała uwaga: w dużych firmach w których małą błąd kosztuje życie tysięcy
ludzi (lotnictwo, energetyka itd itp) własnie taka kontrola ma miejsce.
Kila kompilatorów i kilka symulatorów (HDL) testujących ten sam kod.

Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora
użytecznego języka, więc jeśli chcesz podnoscić bezpieczeństwo czasem i
takie metody mają sens.