Article View: pl.comp.lang.python
Article #8818Re: Największy problem Pythona.
From: Grzegorz Staniak
Date: Wed, 11 May 2005 10:05
Date: Wed, 11 May 2005 10:05
32 lines
2730 bytes
2730 bytes
... W dole szumi rzeka, w górze fruwa ptak A RobertSzefler sobie idzie i śpiewa sobie tak: >>>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 > > Zupełnie nie rozumiem, o co Ci chodzi. O to, że problem nie wynika akurat konkretnie ze specyfiki systemu typów Pythona, tylko raczej z ogólnych cech wszystkich języków typowanych dynamicznie. Oczywiście, o ile w ogóle zdecydujemy się nazywać "problemem" coś, co jest po prostu własnością tej grupy języków. [---] >> Innymi słowy: co ma do tego system typów akurat Pythona? To jest ogólny >> problem języków typowanych dynamicznie. > > Python jest przykładem dla problemu jęz. typowanych dynamicznie. > Oczywiście (zapewne, bo nie wiem z pierwszej ręki) to samo jest w Ruby, > Perlu, Smalltalku... Mhm. W tym momencie system typów w danym języku ma drugorzędne znaczenie. -- Grzegorz Staniak <gstaniak _at_ wp [dot] pl>
Technical Details
Message-ID:
<slrnd83m6n.18b.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> <slrnd83efo.tu.gstaniak@pedro.internal.man.lublin.pl> <d5sf9j$6fh$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 10:05:11 +0000 (UTC) Organization: Nada sp. z o.o. Lines: 32 Message-ID: <slrnd83m6n.18b.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> <slrnd83efo.tu.gstaniak@pedro.internal.man.lublin.pl> <d5sf9j$6fh$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 1115805911 11994 212.182.63.154 (11 May 2005 10:05:11 GMT) X-Complaints-To: abuse@news.lublin.pl NNTP-Posting-Date: Wed, 11 May 2005 10:05:11 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit