🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

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

Re: Interpretowany czy kompilowany?

#28043
From: Rob Wolfe
Date: Mon, 16 May 2011 20:18
36 lines
2115 bytes
zbrodel@tlen.pl writes:

> On 16.05.2011 15:49, Rob Wolfe wrote:
>> Nic podobnego. Tego typu proste bledy sa do wylapania uzywajac
>> statycznej analizy bez zadnego problemu.
>>
>> $ cat test.py
>> lst = []
>> lst.keys()
>> $ pylint -E test.py
>> ************* Module test
>> E:  2: Instance of 'list' has no 'keys' member
>
> Takie też?
>
> def a(b):
>     print b.keys()
>
> x = []
> a(x)
>
>
> Tyle w temacie statycznej analizy.

Ok, mamy różne pojęcie o tym jaki błąd jest oczywisty. ;)
Tak, interfejsów statycznie nie da się sprawdzić w Pythonie.
Wspominałem też o testach, które by tu pasowały jak ulał.
Są też asercje. Można kontrolować interfejsy w runtime'ie itp.

Chodzi mi o to, że w praktyce nie zauważyłem, aby statyczne
typy pomagały. Wręcz przeciwnie, muszę się narzeźbić jak debil,
aby zadowolić kompilator, a w podziękowaniu dostaję segmentation fault.
Natomiast często słyszę jak to w Pythonie można zrobić głupią literówkę
i szukać naście dni. To jest kompletna bzdura i z tym walczę.

RW
Technical Details
Message-ID: <87k4dqe6vw.fsf@smsnet.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!feeder.erje.net!selfless.tophat.at!aioe.org!.POSTED!not-for-mail
References: <iqmlha$r29$1@news.onet.pl> <4dcee603$1$2437$65785112@news.neostrada.pl> <iqo0j1$g9u$1@news.onet.pl> <87boz3anea.fsf@smsnet.pl> <iqqk2o$oh7$1@news.onet.pl> <0601cb5b-befa-46ba-9d1c-f105c81369fe@r35g2000prj.googlegroups.com> <iqrlte$rfe$1@news.onet.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!feeder.erje.net!selfless.tophat.at!aioe.org!.POSTED!not-for-mail
From: Rob Wolfe <rw@smsnet.pl>
Newsgroups: pl.comp.lang.python
Subject: Re: Interpretowany czy kompilowany?
Date: Mon, 16 May 2011 22:18:43 +0200
Organization: Aioe.org NNTP Server
Lines: 36
Message-ID: <87k4dqe6vw.fsf@smsnet.pl>
References: <iqmlha$r29$1@news.onet.pl> <4dcee603$1$2437$65785112@news.neostrada.pl> <iqo0j1$g9u$1@news.onet.pl> <87boz3anea.fsf@smsnet.pl> <iqqk2o$oh7$1@news.onet.pl> <0601cb5b-befa-46ba-9d1c-f105c81369fe@r35g2000prj.googlegroups.com> <iqrlte$rfe$1@news.onet.pl>
NNTP-Posting-Host: 2rGoQNolRk9jw3eVwM369A.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
X-Notice: Filtered by postfilter v. 0.8.2
Cancel-Lock: sha1:m93gQRt4MPaXgu13LebyeXRdC38=
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit