Re: Największy problem Pythona.

Article View: pl.comp.lang.python

Article #8537

Back to pl.comp.lang.python Previous Next

#8537

From: Piotr Dembiński
Date: Wed, 11 May 2005 14:09

27 lines
1772 bytes

Dnia Wed, 11 May 2005 09:54:21 +0200, RobertSzefler <rszeflerUSUNTO@murator.com.pl> napisał:

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

Nie sądzę.

> Testy *nigdy* nie są pewną metodą ze względu chociażby na nierozstrzygalnośćproblemu stopu na maszynie Turinga.

Pisałem o testach jednostkowych pisanych przez programistę znającego
refaktoryzowany program.

> Jedyną pewną metodą jest konstrukcja języka umożliwiająca statycznetypowanie i ścisłe wymuszanie typów.

Możliwe, jednak Python nie jest w tej chwili takim językiem.

-- 
http://www.piotr.dembiński.prv.pl

Technical Details

Message-ID: <op.sql6yko8m6ja2j@hector.domek>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.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> <d5sdnd$5e2$3@news2.ipartners.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: Piotr Dembiński <pdemb@gazeta.pl>
Newsgroups: pl.comp.lang.python
Subject: Re: Największy problem Pythona.
Date: Wed, 11 May 2005 16:09:46 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 27
Message-ID: <op.sql6yko8m6ja2j@hector.domek>
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> <d5sdnd$5e2$3@news2.ipartners.pl>
NNTP-Posting-Host: pb71.konin.sdi.tpnet.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1115820813 11184 217.96.175.71 (11 May 2005 14:13:33 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Wed, 11 May 2005 14:13:33 +0000 (UTC)
X-User: pdemb
User-Agent: Opera M2/8.0 (Linux, build 1095)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message