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!fu-berlin.de!news.unit0.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: Fri, 4 Oct 2019 08:16:17 +0200
Organization: Aioe.org NNTP Server
Lines: 20
Message-ID: <qn6o3i$1cc5$1@gioia.aioe.org>
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>
<qn5eeg$2t3$1@dont-email.me> <qn5k2h$dap$1@gioia.aioe.org>
<qn5l5a$cub$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
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
Xref: news-archive.icm.edu.pl pl.comp.programming:214195
[ ukryj nagłówki ]
On 2019-10-03 22:19, heby wrote:
> Nieprawdziwa jest opinia że Ada jest bezpieczna bo język utrudnia
> robienie błedów.

Jak juz ustalilismy _nie ma_ (i nie bedzie) jezykow w pelni
bezpiecznych (wszytskim rzadzi prawdopodobienstwo).

Czy Ci sie to podoba czy nie, Ada jest jednak _najbezpieczniejszym_
jezykiem programowania. O (kilka?)rzad wielkosci bezpieczniejszym
od C/C++ czy nawet Pascala.

W dodatku ten jezyk (przez swoj "ekosystem" - weryfikowalnosc jezyka,
weryfikowalnosc kompilatorow - o dziwo jedna z przyczyn "upadku" Ady;)
jako jeden z nielicznych daje mozliwosc weryfikowalnosci programow
(czyli sprawdzalnosci kodu w stosnku do zalozen/projektu).

Stawianie wiec Ady na rowniz z C/C++ czy assemblerem jest po prostu
horrendum... :(

AK