Re: Czy typowanie kaczkowe jest rozwi±zaniem problemu amfibii?

Article View: pl.comp.objects

Article #13522

#13522

From: Piotr Dembiński
Date: Tue, 15 Nov 2005 17:21

30 lines
2067 bytes

"Michal Przybylek" <mrp@neostrada.pl> writes:

> "Piotr Dembiñski" <pdemb@gazeta.pl> wrote:
>
>> > Pojecia podklasy i podtypu sa do siebie ortogonalne.
>>
>> Od kiedy?
>
> Od zawsze. Problem polega na tym, ze:
>
> a) niektore jezyki zwiazuja owe pojecia ze soba,

Właśnie, w kontekście p.c.objects utożsamianie typu z klasą jest 
chyba zasadne?

Pewne rozróżnienie rzeczywiście wprowadza LSP, którą ja osobiście
rozumiem jako uzupełnienie terminologii stosowanej w metodyce OO: 
można mówić o tym, że zdefiniowano podtyp mając na myśli, że
zdefiniowano podklasę zgodną ze swoją nadklasą w sensie LSP.

> b) rozni ludzie uzywaja tych terminow do okreslenia roznych rzeczy -
> w szczegolnosci historyczne pojecie klasy (uzywane od tysiecy lat 
> w naukach filozoficznych), odpowiada dzisiejszemu pojeciu typu 
> z terminologi informatycznej.

W samej informatyce pojęcie 'klasa' jest rozumiane różnie w różnych
poddziedzinach.

-- 
http://www.piotr.dembiński.prv.pl

Technical Details

Message-ID: <87irutq12r.fsf@hector.domek>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail

References:

<87veyuqewo.fsf@hector.domek> <dlclmc$2su$1@nemesis.news.tpi.pl> <87fypyqajv.fsf@hector.domek> <dlcuk6$5qf$1@atlantis.news.tpi.pl> <874q6drjug.fsf@hector.domek> <dld3rp$8$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: Czy typowanie kaczkowe jest rozwi±zaniem
 problemu amfibii?
Date: Tue, 15 Nov 2005 18:21:16 +0100
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 30
Message-ID: <87irutq12r.fsf@hector.domek>
References: <87veyuqewo.fsf@hector.domek> <dlclmc$2su$1@nemesis.news.tpi.pl> <87fypyqajv.fsf@hector.domek> <dlcuk6$5qf$1@atlantis.news.tpi.pl> <874q6drjug.fsf@hector.domek> <dld3rp$8$1@atlantis.news.tpi.pl>
NNTP-Posting-Host: dir219.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1132075181 13765 83.23.225.219 (15 Nov 2005 17:19:41 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Tue, 15 Nov 2005 17:19:41 +0000 (UTC)
Cancel-Lock: sha1:I1FAAdmYQw4d3RsogTnliUIXiIU=
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

Reply to Parent Message