🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

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

Re: Interpretowany czy kompilowany?

#28044
From: Stachu 'Dozzie' K.
Date: Tue, 17 May 2011 07:35
50 lines
2683 bytes
On 2011-05-16, Rob Wolfe <rw@smsnet.pl> wrote:
> 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. ;)

A teraz sobie porównaj jak takie błędy się wychwytuje w Adzie, C++ albo
w Javie.

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

Można. Ale powinno to być wykonane podczas kompilacji -- bo się da.

> Chodzi mi o to, że w praktyce nie zauważyłem, aby statyczne
> typy pomagały.

A ile tego (języków ze statycznym typowaniem) używałeś i przy jak dużych
projektach?

> Wręcz przeciwnie, muszę się narzeźbić jak debil,
> aby zadowolić kompilator, a w podziękowaniu dostaję segmentation fault.

Urban legend.

-- 
Secunia non olet.
Stanislaw Klekot
Technical Details
Message-ID: <iqt8gb$lo1$1@solani.org>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!feeder.erje.net!weretis.net!feeder1.news.weretis.net!news.solani.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> <87k4dqe6vw.fsf@smsnet.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!feeder.erje.net!weretis.net!feeder1.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid>
Newsgroups: pl.comp.lang.python
Subject: Re: Interpretowany czy kompilowany?
Date: Tue, 17 May 2011 07:35:39 +0000 (UTC)
Organization: solani.org
Lines: 50
Message-ID: <iqt8gb$lo1$1@solani.org>
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> <87k4dqe6vw.fsf@smsnet.pl>
Mime-Version: 1.0
X-Trace: solani.org 1305617739 22273 eJwFwQEBACAIA7BKKvxCHETfP4IbjJO9naBDUL20ReahHKv78jaqyimE55ABxDbU6BOhDyBsERM= (17 May 2011 07:35:39 GMT)
X-Complaints-To: abuse@news.solani.org
NNTP-Posting-Date: Tue, 17 May 2011 07:35:39 +0000 (UTC)
User-Agent: slrn/pre0.9.9-111 (Linux)
X-User-ID: eJwFwYEBwDAIArCXpAr4Tjfn/ycsYQp6XaKKyzVoOJhnsqt9n+Ak/A1mC+05TGt8gnG1P/W6D+A=
Cancel-Lock: sha1:0PZZs01kxomYvwxh0A9ygzFowtM=
X-NNTP-Posting-Host: eJwFwQkBwDAIA0BL0BIeOcAa/xJ2h+vqG+ZwA8GzLXvezKeNEcnp4Ht9t0hISoXAlDWTntk/OTcRtw==
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit