Newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!cmcl2.nyu.edu!news.sprintlink.net!news-pen-16.sprintlink.net!news.sprintlink.net!news-hub.sprintlink.net!news.sprintlink.net!news-peer.sprintlink.net!howland.erols.net!news.bbnplanet.com!cam-news-hub1.bbnplanet.com!uunet!in1.uu.net!uucp4.uu.net!alexandria.organon.com!alexandria!jsa
From: jsa@alexandria (Jon S Anthony)
Subject: Re: OO, C++, and something much better!
In-Reply-To: doylep@ecf.toronto.edu's message of Sat, 18 Jan 1997 17:03:15 GMT
Message-ID: <JSA.97Jan20143509@alexandria>
Sender: news@organon.com (news)
Organization: Organon Motives, Inc.
References: <E3xprM.4pB@syd.csa.com.au> <E3z0zy.9qL@syd.csa.com.au>
	<E47rDG.AC8@ecf.toronto.edu>
Date: Mon, 20 Jan 1997 19:35:09 GMT
Lines: 41
Xref: glinda.oz.cs.cmu.edu comp.lang.c++:241803 comp.lang.smalltalk:49483 comp.lang.eiffel:17472 comp.lang.ada:56187 comp.object:60046 comp.software-eng:52750

In article <E47rDG.AC8@ecf.toronto.edu> doylep@ecf.toronto.edu (Patrick Doyle) writes:

> In article <E3z0zy.9qL@syd.csa.com.au>,
> Don Harrison <donh@syd.csa.com.au> wrote:
> >
> >The following is a valid Ada83 program (and presumably valid Ada95):
> >
> >procedure Test_Type_Hole is
> >  subtype Sub_Integer is Integer range 1 .. 10;
> >  I: Integer;
> >  S: Sub_Integer;
> >
> >  procedure Use_Subtype (S: Sub_Integer) is
> >  begin
> >    null;
> >  end;
> >
> >begin
> >  I := 1000;
> >  Use_Subtype (I);       -- System Invalid call - raises 
> >                         -- Constraint_Error at runtime.
> >end Test_Type_Hole;
> >
> >So, contrary to your claim, Ada *does* permit a form of broken polymorphism.
> 
>   To me, this seems more of a broken assertion than broken polymorphism.
> 
>   (However, I've never use Ada in my life... :-)

Well, now this is amusing.  Patrick here states he's never used Ada
in his life, but he gets it _right_!  Nice little piece of anecdotal
evidence for the readability of Ada... :-)

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com

