Re: jaki wybrac jezyk? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › jaki wybrac jezyk? › Re: jaki wybrac jezyk?

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!weretis.net!feeder4.news.weretis.net!feeder
1.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: "Stachu 'Dozzie' K." <d...@g...eat.some.screws.spammer.invalid>
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
Date: Wed, 17 Aug 2011 14:50:35 +0000 (UTC)
Organization: solani.org
Lines: 28
Message-ID: <s...@j...net>
References: <2...@v...googlegroups.com>
<5...@n...onet.pl>
<j26pdv$s41$1@node2.news.atman.pl>
<s...@b...pl>
<j2gcuf$sun$1@news.onet.pl> <j2gdv1$2md$1@news.onet.pl>
<j2gfnu$jgh$1@opal.futuro.pl> <j2gfvk$al8$1@news.onet.pl>
<s...@j...net> <j2gk5r$sjh$1@news.onet.pl>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: solani.org 1313592635 32409
eJwNycERACEIA8CWRAyBcpQh/Zdwt9+Fh0XzBOJA0NToNuwiubI0b8lE79yxkvWXNNjuXbTHDyiVERs=
(17 Aug 2011 14:50:35 GMT)
X-Complaints-To: a...@n...solani.org
NNTP-Posting-Date: Wed, 17 Aug 2011 14:50:35 +0000 (UTC)
User-Agent: slrn/pre0.9.9-111 (Linux)
X-User-ID: eJwFwYEBwCAIA7CXlLUVzwGB/09Ywk9b70AUOByZwpm9wgM8NGuPdDRcBWLfqWV5uyIy5/0UiR
GS
Cancel-Lock: sha1:efirL6tsQlxofY+tnMOjLB6TqFs=
X-NNTP-Posting-Host: eJwFwYERwAAEA8CVUCLG6VXsP0L/64Hj60Qh6+pg7QGN0W02L2fn3LSpYKfYE6SF
pOu3+AP/thBm
Xref: news-archive.icm.edu.pl pl.comp.programming:191973
[ ukryj nagłówki ]
On 2011-08-17, Michal Kleczek <k...@p...onet.pl> wrote:
> On 2011-08-17 15:42, Stachu 'Dozzie' K. wrote:
>> On 2011-08-17, Michal Kleczek<k...@p...onet.pl> wrote:
>>
>>> Fakt, ze argumentacja zwolennikow "dynamicznie typowanych" jezykow jest
>>> pokretna :) - mowia oni "jezeli twoje testy nie wykryly takiego bledu,
>>> to masz za malo testow".
>>
>> Zawsze masz za mało testów żeby uzyskać pewność. W języku statycznie
>> typowanym dostajesz pewność zgodności typów przez sam fakt skompilowania
>> programu.
>>
>
> Bede adwokatem diabla - a co ci daje "pewnosc zgodnosci typow"?

Pewność wyeliminowania pewnej klasy błędów, dość często spotykanej
zresztą. To już dużo.

> Masz jakies dane empiryczne mowiace o tym, ze programy zweryfikowane
> statycznie na "zgodnosc typow" maja wyzszy poziom akceptacji
> uzytkownikow? Chetnie sie z nimi zapoznam.

#define "akceptacja użytkowników", bo mnie kojarzy się z użytkownikiem
końcowym, który chce jedynie ładne ikonki do klikania.

--
Secunia non olet.
Stanislaw Klekot