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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,ef0074ec236ba6e3 X-Google-Attributes: gid109fba,public X-Google-Thread: 108717,ef0074ec236ba6e3 X-Google-Attributes: gid108717,public X-Google-Thread: 1014db,ef0074ec236ba6e3 X-Google-Attributes: gid1014db,public X-Google-Thread: 1108a1,ef0074ec236ba6e3 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,b19fa62fdce575f9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-12-02 17:20:52 PST Newsgroups: comp.lang.ada,comp.lang.c,comp.programming,comp.lang.c++,comp.object Path: bga.com!news.sprintlink.net!howland.reston.ans.net!news.moneng.mei.com!uwm.edu!lll-winken.llnl.gov!noc.near.net!inmet!dsd!bobduff From: bobduff@dsd.camb.inmet.com (Bob Duff) Subject: Re: Why don't large companies use Ada? Message-ID: Sender: news@inmet.camb.inmet.com Organization: Intermetrics, Inc. References: <3aa7jo$7j@Starbase.NeoSoft.COM> <3bd06n$kbt@felix.seas.gwu.edu> <3bjf2q$i69@goanna.cs.rmit.oz.au> Date: Fri, 2 Dec 1994 23:46:25 GMT Xref: bga.com comp.lang.ada:8208 comp.lang.c:33114 comp.programming:5578 comp.lang.c++:39347 comp.object:9353 Date: 1994-12-02T23:46:25+00:00 List-Id: In article <3bjf2q$i69@goanna.cs.rmit.oz.au>, Michael Coburn wrote: >house@helios.usq.EDU.AU (ron house) writes: > >>How about "Ada - use it when you want to multiply a length by a length >>and get a length, or when you want to be prevented from dividing an area >>by a length because they have different types." > >total_area := area(length_one) * area(length_two); > >yawn.... The fact remains that Ada's type model disallows a sensible operation (Total_Area := Length_One * Length_Two), and allows nonsense (Some_Length := Length_One * Length_Two). - Bob -- Bob Duff bobduff@inmet.com Oak Tree Software, Inc. Ada 9X Mapping/Revision Team (Intermetrics, Inc.)