Article View: pl.comp.objects
Article #15975Re: Teoria obiektowości - gdzie szukać?
From: Piotr Dembiński
Date: Mon, 26 Mar 2007 21:39
Date: Mon, 26 Mar 2007 21:39
28 lines
2135 bytes
2135 bytes
Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: [...] >> 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 wiem zbyt wiele na ten temat. Trafiłem tam kiedyś > przypadkowo. Z tego co napisali na stronie wynika, że nie ma tam > typów. Tylko zbiory metod i operacje wywołania metody i zamiany na > inną. Piszą o nietypowalnym, więc pewnie istnieje dla niego jakaś > teoria z typami. > > W wikipedii cisza, google też niewiele zwraca, coś dziwny ten > rachunek ;) Na stronie, którą podałeś/podałaś jest napisane, że rachunek został opracowany w latach 90. ubiegłego wieku. Czas upowszechnienia się idei, nad którą pracują naukowcy, wśród praktyków wynosi około dwudziestu lat. Wikipedia jest tworzona przez społeczność praktyków, a nie przez specjalistów. Nawiasem mówiąc to bardzo ładnie ze strony UW, że udostępnia materiały dydaktyczne na swoich stronach WWW. -- http://www.piotr.dembiński.prv.pl
Technical Details
Message-ID:
<87zm5zptvp.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>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: Mon, 26 Mar 2007 23:39:06 +0200 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 28 Message-ID: <87zm5zptvp.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> NNTP-Posting-Host: dip196.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: inews.gazeta.pl 1174944368 25939 83.23.223.196 (26 Mar 2007 21:26:08 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Mon, 26 Mar 2007 21:26:08 +0000 (UTC) Cancel-Lock: sha1:i67JUTNPsUj1V3WUFYEFEPZj/Zw= 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