Re: polymorphism

["W. Wesley Groleau (Wes)" <wwgrol@PSESERV3.FW.HAC.COM>]

:> .... an abstract data type, denoted by the keyword "private" ....

If you must insist on a keyword for an ADT, "abstract" might be better.
But I don't go for that either.  Must we re-define abstract so that it
does not apply to most instances of abstraction?  If "abstract" is
not the opposite of "concrete", then what is the term for something
that is neither?

I consider all of the following "abstract" data types (especially as
compared with "int" and "double"):

type Radians is new Float;

type Payment is
  record
    Gross : some_money_ADT;
    FITW  : some_money_ADT;
    ....

type Months is ( January, February, ....

---------------------------------------------------------------------------
W. Wesley Groleau (Wes)                                Office: 219-429-4923
Hughes Defense Communications (MS 10-40)                 Home: 219-471-7206
Fort Wayne,  IN   46808                  (Unix): wwgrol@pseserv3.fw.hac.com
---------------------------------------------------------------------------
Object-oriented is a synonym for "great"
My favorite language is xxxx.
My favorite language is great.
Language yyyy is not xxxx.
Therefore, yyyy is not object-oriented.