🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.lang.python
Article #8536

Re: Największy problem Pythona.

#8536
From: RobertSzefler
Date: Wed, 11 May 2005 07:54
14 lines
1482 bytes
Piotr Dembiński wrote:

>>> bo kod zawiera za malo informacji
>>
>>
>> A introspekcja ze wstydu kurczy się i pufff! - znika w obłoku logiki.
> 
> 
> Jedyna pewna metoda to testy.

Kompletna herezja. Testy *nigdy* nie są pewną metodą ze względu 
chociażby na nierozstrzygalność problemu stopu na maszynie Turinga. 
Jedyną pewną metodą jest konstrukcja języka umożliwiająca statyczne 
typowanie i ścisłe wymuszanie typów.
Technical Details
Message-ID: <d5sdnd$5e2$3@news2.ipartners.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!news.ipartners.pl!ipartners.pl!not-for-mail
References: <jsq2enrcpp4r$.nmpn8bgh83ge.dlg@40tude.net> <d5puqm$1hu$1@inews.gazeta.pl> <d5q0ek$4ad$1@gw.magellan.net.pl> <slrnd811e5.tc2.gstaniak@pedro.internal.man.lublin.pl> <op.sqkp16q2m6ja2j@hector.domek>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!news.ipartners.pl!ipartners.pl!not-for-mail
From: RobertSzefler <rszeflerUSUNTO@murator.com.pl>
Newsgroups: pl.comp.lang.python
Subject: Re: Największy problem Pythona.
Date: Wed, 11 May 2005 09:54:21 +0200
Organization: Internet Partners
Lines: 14
Message-ID: <d5sdnd$5e2$3@news2.ipartners.pl>
References: <jsq2enrcpp4r$.nmpn8bgh83ge.dlg@40tude.net> <d5puqm$1hu$1@inews.gazeta.pl> <d5q0ek$4ad$1@gw.magellan.net.pl> <slrnd811e5.tc2.gstaniak@pedro.internal.man.lublin.pl> <op.sqkp16q2m6ja2j@hector.domek>
NNTP-Posting-Host: intranet.murator.com.pl
Mime-Version: 1.0
X-Trace: news2.ipartners.pl 1115798061 5570 217.153.39.22 (11 May 2005 07:54:21 GMT)
X-Complaints-To: abuse@ipartners.pl
NNTP-Posting-Date: 11 May 2005 07:54:21 GMT
In-Reply-To: <op.sqkp16q2m6ja2j@hector.domek>
X-Accept-Language: en-us, en
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit