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-05-01 08:37:58 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!news2.euro.net!194.168.222.61.MISMATCH!newspeer1-gui.server.ntli.net!ntli.net!news2-win.server.ntlworld.com.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Is strong typing worth the cost? From: dmjones References: <9gBz8.4054$%r1.2380315867@newssvr21.news.prodigy.com> Organization: Knowledge Software Message-ID: User-Agent: Xnews/L5 Date: Wed, 01 May 2002 15:20:25 GMT NNTP-Posting-Host: 62.252.22.178 X-Complaints-To: abuse@ntlworld.com X-Trace: news2-win.server.ntlworld.com 1020266425 62.252.22.178 (Wed, 01 May 2002 16:20:25 BST) NNTP-Posting-Date: Wed, 01 May 2002 16:20:25 BST Xref: archiver1.google.com comp.lang.ada:23346 Date: 2002-05-01T15:20:25+00:00 List-Id: "Marin David Condic", > There does tend to be a "Put the burden of proof on Ada" kind of > attitude that often comes into play. It may not be entirely unfair in > that someone can say "This is what I do now. You propose that I do > something different and claim it is better. Can you demonstrate how this > is better?" This discussion is occurring in an Ada news group because Ada is essentially the only game in town, with regard to a) strong typing, and b) a reasonable sized commercial usage base. The reason for originally posting here was the thought that if some research existed, this would be the group that would know about it. If a study is performed, Ada would be the obvious candidate to use. There is a pool of experienced users working on problems similar to problems being solved using other languages. Yes, Ada may contain other fine features and separating out the type system (for experimentation) from the rest of the language may sound like an odd thing to do. I think the use of strong typing in other languages would reduce the cost of software ownership. If you can think of a better way for me to obtain substantiating evidence please let me know.