Article View: pl.comp.lang.python
Article #8816Re: Największy problem Pythona.
From: Grzegorz Staniak
Date: Wed, 11 May 2005 07:53
Date: Wed, 11 May 2005 07:53
29 lines
2288 bytes
2288 bytes
... W dole szumi rzeka, w górze fruwa ptak A RobertSzefler sobie idzie i śpiewa sobie tak: >>>Tak więc twórcy wiodących edytorów uważają postulat (podpowiadanie jak na >>>screenshot'cie) za słuszny! >> >> Podpowiadanie - tak. Ale nie *tego* co postulowałeś, bo to akurat nie ma >> sensu dla jęz. dynamicznych. > > Oczywiście, że ma sens. Każdy obiekt ma typ, więc można ten typ > wywnioskować. To, że nie można go wywnioskować w ogólności statycznie, > wynika z tego, że system typów Pythona jest na tyle rozbudowany i > ogólny, że problem statycznego wnioskowania o typach jest > *nierozstrzygalny*. Naprawdę? A gdyby tych typów było trzy na krzyż, czy to by w jakikolwiek sposób zmieniło sytuację w przypadku języka typowanego _dynamicznie_? Choćby biorąc przypadek tego def costam(a): return a ? Innymi słowy: co ma do tego system typów akurat Pythona? To jest ogólny problem języków typowanych dynamicznie. -- Grzegorz Staniak <gstaniak _at_ wp [dot] pl>
Technical Details
Message-ID:
<slrnd83efo.tu.gstaniak@pedro.internal.man.lublin.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!lublin.pl!news.lublin.pl!not-for-mailReferences:
<jsq2enrcpp4r$.nmpn8bgh83ge.dlg@40tude.net> <d5r1l6$flm$1@nemesis.news.tpi.pl> <1njwce3cqj46q.11f4hsu79ksgd.dlg@40tude.net> <d5r683$jqs$1@nemesis.news.tpi.pl> <gyl0f43j67li$.eulawte2zfi3$.dlg@40tude.net> <pgurnpc6azuo$.1ahtqlqsah3q8$.dlg@40tude.net> <wnguhgs3xmzr$.1gep6sd6mzumb$.dlg@40tude.net> <1nome7fd6w3dv$.7rt0k83x7o5i.dlg@40tude.net> <zb0ructdwtj6$.lvsewcqrhfgn$.dlg@40tude.net> <1l27j8h4xutbs.14pynwalmm9de$.dlg@40tude.net> <d5sd6u$52b$1@news2.ipartners.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!lublin.pl!news.lublin.pl!not-for-mail From: Grzegorz Staniak <gstaniak@wp.pl> Newsgroups: pl.comp.lang.python Subject: Re: Największy problem Pythona. Date: Wed, 11 May 2005 07:53:28 +0000 (UTC) Organization: Nada sp. z o.o. Lines: 29 Message-ID: <slrnd83efo.tu.gstaniak@pedro.internal.man.lublin.pl> References: <jsq2enrcpp4r$.nmpn8bgh83ge.dlg@40tude.net> <d5r1l6$flm$1@nemesis.news.tpi.pl> <1njwce3cqj46q.11f4hsu79ksgd.dlg@40tude.net> <d5r683$jqs$1@nemesis.news.tpi.pl> <gyl0f43j67li$.eulawte2zfi3$.dlg@40tude.net> <pgurnpc6azuo$.1ahtqlqsah3q8$.dlg@40tude.net> <wnguhgs3xmzr$.1gep6sd6mzumb$.dlg@40tude.net> <1nome7fd6w3dv$.7rt0k83x7o5i.dlg@40tude.net> <zb0ructdwtj6$.lvsewcqrhfgn$.dlg@40tude.net> <1l27j8h4xutbs.14pynwalmm9de$.dlg@40tude.net> <d5sd6u$52b$1@news2.ipartners.pl> Reply-To: gstaniak@wp.pl NNTP-Posting-Host: apollo.man.lublin.pl Mime-Version: 1.0 X-Trace: news.lublin.pl 1115798008 706 212.182.63.154 (11 May 2005 07:53:28 GMT) X-Complaints-To: abuse@news.lublin.pl NNTP-Posting-Date: Wed, 11 May 2005 07:53:28 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit