Article View: pl.comp.objects
Article #13442Re: W nawi±zaniu do Oz-Mozart i Smalltalka
From: Michal Przybylek
Date: Tue, 15 Nov 2005 17:06
Date: Tue, 15 Nov 2005 17:06
17 lines
1618 bytes
1618 bytes
"Piotr Dembiński" <pdemb@gazeta.pl> wrote: > > Nie ma czegos takiego jak "typy kowariantne". > > Typ co najwyzej moze byc _na pozycji_ kowariantnej. > > Czy to ma jakiś związek z inwariantami obiektu? > I czym różni się typ od klasy? Zobacz np. u Cardelli'ego w "A Theory Of Objects". Najkrocej mowiac: - nie (o ile masz namysli inwarianty w sensie Eiffel'a), - klasa _moze_ sluzyc do _opisu_ typu. mp
Technical Details
Message-ID:
<dld4bi$249$1@atlantis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mailReferences:
<dlan6j$bia$1@inews.gazeta.pl> <5fshn1lu5aod03c2g48rd16867ccdkrm5g@4ax.com> <87zmo6c21c.fsf@qrnik.zagroda> <b33in11k62patqk6op7jgm2cjhhvom4056@4ax.com> <dlcduh$48q$1@nemesis.news.tpi.pl> <87veytq4rh.fsf@hector.domek>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail From: "Michal Przybylek" <mrp@neostrada.pl> Newsgroups: pl.comp.objects Subject: Re: W nawi±zaniu do Oz-Mozart i Smalltalka Date: Tue, 15 Nov 2005 18:06:47 +0100 Organization: tp.internet - http://www.tpi.pl/ Lines: 18 Message-ID: <dld4bi$249$1@atlantis.news.tpi.pl> References: <dlan6j$bia$1@inews.gazeta.pl> <5fshn1lu5aod03c2g48rd16867ccdkrm5g@4ax.com> <87zmo6c21c.fsf@qrnik.zagroda> <b33in11k62patqk6op7jgm2cjhhvom4056@4ax.com> <dlcduh$48q$1@nemesis.news.tpi.pl> <87veytq4rh.fsf@hector.domek> NNTP-Posting-Host: dlo101.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: atlantis.news.tpi.pl 1132074162 2185 83.24.44.101 (15 Nov 2005 17:02:42 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Tue, 15 Nov 2005 17:02:42 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1506 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit