From: pipex!uknet!uknet!mucs!clerew!chl@uunet.uu.net (Charles Lindsey)
Subject: Re: Classes vs types; what's the difference?
Date: 14 Apr 93 16:58:20 GMT [thread overview]
Message-ID: <C5HGHA.9Jq@clw.cs.man.ac.uk> (raw)
In <1993Apr12.152305.10571@seas.gwu.edu> mfeldman@seas.gwu.edu (Michael Feldman
) writes:
>In article <1993Apr12.150148.9736@evb.com> jgg@evb.com (John Goodsen) writes:
>>
>>I still maintain that the "better marketing" argument for using
>>"class types" instead of "tagged types" in Ada 9X has been to this
>>point unchallenged...
>>
>I think I'm tending to agree with this (how's that for hedging my bets?).
>Nothing would change syntactically by substituting "class" for "tagged".
>One new reserved word is required in either case; .
Can I remind you that I proposed the reserved word "classified" for this
purpose some while back. It has a few, but helpful, advantages.
1) It is an adjective.
2) It implies that the thing is not quite a genuine class, as
understood elsewhere, but is clearly related.
3) It carries a feeling that something special has been done to
values of that type (such as adding a tag, or 'classification') to
them, without actually ramming the idea down your throat as "tagged"
does.
--
Charles H. Lindsey ------------------------------------------------------------
-
At Home, doing my own thing. Internet: chl@clw.cs.man.ac.u
k
Voice: +44 61 437 4506 Janet: chl@uk.ac.man.cs.cl
w
Snail: 5 Clerewood Ave., CHEADLE, SK8 3JU, U.K. UUCP: mucs!clerew!chl
next reply other threads:[~1993-04-14 16:58 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-04-14 16:58 Charles Lindsey [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-04-16 14:25 Classes vs types; what's the difference? cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!til
1993-04-15 13:14 Wes Groleau X7574
1993-04-12 15:23 Michael Feldman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox