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!3.eu.feeder.erj
e.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!news.mixmin.net!aioe
.org!.POSTED.jDzwcMS9TWBGwfZIMWjA5g.user.gioia.aioe.org!not-for-mail
From: AK <n...@n...net>
Newsgroups: pl.comp.programming
Subject: Re: POpularno?? j?zyk?w programowania ??
Date: Tue, 1 Oct 2019 08:27:47 +0200
Organization: Aioe.org NNTP Server
Lines: 15
Message-ID: <qmurl3$d84$2@gioia.aioe.org>
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>
<b...@g...com>
<qmtap2$kfe$1@dont-email.me>
NNTP-Posting-Host: jDzwcMS9TWBGwfZIMWjA5g.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.9.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: news-archive.icm.edu.pl pl.comp.programming:214157
[ ukryj nagłówki ]
On 2019-09-30 18:33, heby wrote:
> On 30/09/2019 09:27, Maciej Sobczak wrote:
>> Spróbuj rozwiązać ten problem i wtedy zobaczysz, że nie trzeba 3
>> kompilatorów. Dlatego tej metody się nie używa.
>
> Zabawne, bo w kilku krytycznych miejscach i za duże pieniądze się używa.
> Firmy kupują choelrnie drogi soft robiący to samo, ale od różnych
> producentów tylko po to aby się upewnić że działanie ich kodu jest
> zamierzone a nie tylko że to artefakt narzędzia.

Hehe. Gdy sie wybralo takie nieweryfikowalne barachlo jak C/C++
do rzeczy krytycznych, to sie trzeba pozniej takimi "technikami
weryfikacji" podpierac :)

AK