Article View: pl.comp.lang.python
Article #8806Re: Największy problem Pythona.
From: RobertSzefler
Date: Wed, 11 May 2005 07:45
Date: Wed, 11 May 2005 07:45
29 lines
2514 bytes
2514 bytes
JZ wrote: > Dnia Wed, 11 May 2005 00:53:27 +0200, Qertoip napisał(a): > > >>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*. System typów Pythona jest po prostu równoważny z pełną maszyną Turinga, więc nie można statycznie dowodzić twierdzeń o równoważności czy stopie. Oczywiste jest też, że niektórzy programiści/filozofowie informatyki uznają to za wadę. >>Ma sens, tylko nie da się w pełni zrealizować z oczywistych przyczyn. > > > Nie da się zrealizowac bo to nie ma specjalnie sensu *dla języków > dynamicznych*. Vide powyżej. Twoja argumentacja jest: bez sensu bo bez sensu dla jęz. stat. Problem jest jasno postawiony i jednoznaczny, tyle że nierozstrzygalny ze względu na język.
Technical Details
Message-ID:
<d5sd6u$52b$1@news2.ipartners.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!news.ipartners.pl!ipartners.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>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!news.ipartners.pl!ipartners.pl!not-for-mail From: RobertSzefler <rszeflerUSUNTO@murator.com.pl> Newsgroups: pl.comp.lang.python Subject: Re: Największy problem Pythona. Date: Wed, 11 May 2005 09:45:34 +0200 Organization: Internet Partners Lines: 29 Message-ID: <d5sd6u$52b$1@news2.ipartners.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> NNTP-Posting-Host: intranet.murator.com.pl Mime-Version: 1.0 X-Trace: news2.ipartners.pl 1115797534 5195 217.153.39.22 (11 May 2005 07:45:34 GMT) X-Complaints-To: abuse@ipartners.pl NNTP-Posting-Date: 11 May 2005 07:45:34 GMT In-Reply-To: <1l27j8h4xutbs.14pynwalmm9de$.dlg@40tude.net> X-Accept-Language: en-us, en User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit