🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.programming
Article #216238

Re: POpularno?? j?zyk?w programowania ??

#216238
From: AK
Date: Fri, 04 Oct 2019 06:16
20 lines
2285 bytes
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
Technical Details
Message-ID: <qn6o3i$1cc5$1@gioia.aioe.org>
Path: mbox-mo1.pugleaf.net!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
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> <d18e7d19-aa33-4839-8567-f95b718b4592@googlegroups.com> <qmt9rr$e6n$1@dont-email.me> <3fe75f90-5a4d-4477-921a-6e38b628ff26@googlegroups.com> <qn5eeg$2t3$1@dont-email.me> <qn5k2h$dap$1@gioia.aioe.org> <qn5l5a$cub$1@dont-email.me>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!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 <nobody@nowhere.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> <d18e7d19-aa33-4839-8567-f95b718b4592@googlegroups.com> <qmt9rr$e6n$1@dont-email.me> <3fe75f90-5a4d-4477-921a-6e38b628ff26@googlegroups.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
X-Complaints-To: abuse@aioe.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-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit