From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: f43e6,b87849933931bc93 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: jsa@alexandria (Jon S Anthony) Subject: Re: OO, C++, and something much better! Date: 1997/01/17 Message-ID: #1/1 X-Deja-AN: 210498875 sender: news@organon.com (news) references: <32DB90DC.41C67EA6@innocon.com> organization: Organon Motives, Inc. newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng Date: 1997-01-17T00:00:00+00:00 List-Id: In article donh@syd.csa.com.au (Don Harrison) writes: > Jeff Carter writes: > > :> So, contrary to your claim, Ada *does* permit a form of broken polymorphism. > :> > :Nonsense. This is a violation of an explicit precondition (that the > :actual value associated with S be in the range of Sub_Integer). > > It's both and it shows that Ada is not typesafe. Sorry, Don. You are in the weeds. It shows absolutely nothing of the kind. Ada may or may not be "type safe" but your absurd example has nothing to say on the matter. /Jon -- Jon Anthony Organon Motives, Inc. Belmont, MA 02178 617.484.3383 jsa@organon.com