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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d89b08801f2aacae X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-04-29 11:51:04 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!supernews.com!news.tele.dk!small.news.tele.dk!207.115.63.138!newscon04.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr11.news.prodigy.com.POSTED!not-for-mail From: "Pat Rogers" Newsgroups: comp.lang.ada References: <4519e058.0204290722.2189008@posting.google.com> Subject: Re: Is strong typing worth the cost? X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Message-ID: <%Bgz8.75$dV2.29774908@newssvr11.news.prodigy.com> NNTP-Posting-Host: 208.191.177.131 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr11.news.prodigy.com 1020106235 ST000 208.191.177.131 (Mon, 29 Apr 2002 14:50:35 EDT) NNTP-Posting-Date: Mon, 29 Apr 2002 14:50:35 EDT Organization: Prodigy Internet http://www.prodigy.com X-UserInfo1: T[OUS^[BTRU[RID[N[OJNW@@YJ_ZTB\MV@BD]\YIJYWZUYICD^RAQBKZQTZTX\_I[^G_KGFNON[ZOE_AZNVO^\XGGNTCIRPIJH[@RQKBXLRZ@CD^HKANYVW@RLGEZEJN@\_WZJBNZYYKVIOR]T]MNMG_Z[YVWSCH_Q[GPC_A@CARQVXDSDA^M]@DRVUM@RBM Date: Mon, 29 Apr 2002 18:50:35 GMT Xref: archiver1.google.com comp.lang.ada:23229 Date: 2002-04-29T18:50:35+00:00 List-Id: "dmjones" wrote in message news:Xns91FFC7B971B88derekknosofcouk@194.168.222.64... > >> I have been trying to locate evidence that the cost of the use > >> of strong typing is repaid by a greater benefit. > The experiment I had in mind was two set of subjects, all > working on the same Ada program. However, one set of subjects > is not allowed to use subranges or subtypes. All objects > holding integer values have integer type. The other > set of subjects would be able to create as many different > integer types as they liked. > > How long would each group of subjects take to complete their > tasks, and what would down stream maintenance costs be (for > programs created by each set of subjects) That's an extremely narrow definition of strong typing! Are you sure you don't want to include the more typical "abstract data type" concept, as embodied by Ada's private types? When I review customer Ada code and see few or no private types I start to worry. --- Patrick Rogers Consulting and Training in: http://www.classwide.com Real-Time/OO Languages progers@classwide.com Hard Deadline Schedulability Analysis (281)648-3165 Software Fault Tolerance