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 08:22:41 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!postnews1.google.com!not-for-mail From: dennison@telepath.com (Ted Dennison) Newsgroups: comp.lang.ada Subject: Re: Is strong typing worth the cost? Date: 29 Apr 2002 08:22:41 -0700 Organization: http://groups.google.com/ Message-ID: <4519e058.0204290722.2189008@posting.google.com> References: NNTP-Posting-Host: 65.115.221.98 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1020093761 3050 127.0.0.1 (29 Apr 2002 15:22:41 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 29 Apr 2002 15:22:41 GMT Xref: archiver1.google.com comp.lang.ada:23221 Date: 2002-04-29T15:22:41+00:00 List-Id: dmjones wrote in message news:... > I have been trying to locate evidence that the cost of the use > of strong typing is repaid by a greater benefit. There was a study done on compiler software by Rational. It showed something like 2x productivity for Ada over C, with the credit being laid at least partially on Ada's strong typing. It should be available somewhere on their website, but you'll probably have to search for it. There are other differences in the languages than just the strength of the typing though (eg: no "=" vs "==" confusion, more English-like syntax, etc), so it isn't as clean a study as you'd want if you are just looking at type checking. But it would be tough to find better from an Ada newsgroup, as there aren't non-type-checking versions of Ada floating around. A better idea might be to try to find out if anyone ever did such a study with C projects with and without Lint. -- T.E.D. Home - mailto:dennison@telepath.com (Yahoo: Ted_Dennison) Homepage - http://www.telepath.com/dennison/Ted/TED.html