Article View: pl.comp.objects
Article #15995Re: Teoria obiektowości - gdzie szukać?
From: Piotr Dembiński
Date: Tue, 27 Mar 2007 17:40
Date: Tue, 27 Mar 2007 17:40
19 lines
1791 bytes
1791 bytes
Michal Przybylek <mrp@neostrada.pl> writes: > Piotr Dembiński napisał(a): > > [Ja tylko gościnnie] > >>>> Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia >>>> systemu typów i czy na pewno system typów jest tutaj konieczny? > > Nie narzuca, ale bez jakiegokolwiek systemu typów nie ma w ogóle > sensu rozważać tego rachunku (np. beztypowa wersja przepisuje się > lokalnie do rachunku lambda). W gruncie rzeczy to ciekawe z teoretycznego punktu widzenia mogą być wszelkie próby zdefiniowania operujących na obiektach maszyn wirtualnych, takich jak JVM, CLR, Parrot czy PyVM. -- http://www.piotr.dembiński.prv.pl
Technical Details
Message-ID:
<87fy7qa8l5.fsf@hector.domek>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mailReferences:
<1174921886.263426.77740@l75g2000hse.googlegroups.com> <87hcs8qa9r.fsf@hector.domek> <eu8q5v$55j$1@nemesis.news.tpi.pl> <878xdjregy.fsf@hector.domek> <874po7rdab.fsf@hector.domek> <eu9agp$6r0$1@atlantis.news.tpi.pl> <87zm5zptvp.fsf@hector.domek> <eubhik$7qk$1@atlantis.news.tpi.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail From: Piotr Dembiński <pdemb@gazeta.pl> Newsgroups: pl.comp.objects Subject: Re: Teoria obiektowości - gdzie szukać? Date: Tue, 27 Mar 2007 19:40:22 +0200 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 19 Message-ID: <87fy7qa8l5.fsf@hector.domek> References: <1174921886.263426.77740@l75g2000hse.googlegroups.com> <87hcs8qa9r.fsf@hector.domek> <eu8q5v$55j$1@nemesis.news.tpi.pl> <878xdjregy.fsf@hector.domek> <874po7rdab.fsf@hector.domek> <eu9agp$6r0$1@atlantis.news.tpi.pl> <87zm5zptvp.fsf@hector.domek> <eubhik$7qk$1@atlantis.news.tpi.pl> NNTP-Posting-Host: dih237.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: inews.gazeta.pl 1175016441 8342 83.23.215.237 (27 Mar 2007 17:27:21 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Tue, 27 Mar 2007 17:27:21 +0000 (UTC) Cancel-Lock: sha1:NctIrU1GVY886cMUEuuKHH7aQTk= X-User: pdemb User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit