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 ??

X-Received: by 2002:a37:dc04:: with SMTP id v4mr17736146qki.51.1569828854247; Mon, 30
Sep 2019 00:34:14 -0700 (PDT)
X-Received: by 2002:a37:dc04:: with SMTP id v4mr17736146qki.51.1569828854247; Mon, 30
Sep 2019 00:34:14 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erj
e.net!feeder.erje.net!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.
85.160.216.MISMATCH!o24no2540576qtl.0!news-out.google.com!q23ni152qtl.1!nntp.go
ogle.com!o24no2540571qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.c
om!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 30 Sep 2019 00:34:14 -0700 (PDT)
In-Reply-To: <qmo8bs$n6t$2@dont-email.me>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.161;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.84.161
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>
<qmo8bs$n6t$2@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2...@g...com>
Subject: Re: POpularno?? j?zyk?w programowania ??
From: Maciej Sobczak <s...@g...com>
Injection-Date: Mon, 30 Sep 2019 07:34:14 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:214143
[ ukryj nagłówki ]
> 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.

Statystycznie nie, z powodów, które odpisałem Sławkowi.

> Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora
> użytecznego języka,

http://compcert.inria.fr/doc/index.html

Ale właściwie nikt tego nie używa. To jest bardzo ciekawe zjawisko, bo pokazuje, że
jakości nie uzyskuje się kupując jakiś cudowny produkt.

--
Maciej Sobczak * http://www.inspirel.com