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-30 14:17:26 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: jimmaureenrogers@worldnet.att.net (Jim Rogers) Newsgroups: comp.lang.ada Subject: Re: Is strong typing worth the cost? Date: 30 Apr 2002 14:17:26 -0700 Organization: http://groups.google.com/ Message-ID: <82347202.0204301317.2e4930e8@posting.google.com> References: <4519e058.0204290722.2189008@posting.google.com> <3CCE8523.6F2E721C@earthlink.net> <3CCEB246.9090009@worldnet.att.net> NNTP-Posting-Host: 156.153.254.68 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1020201446 18136 127.0.0.1 (30 Apr 2002 21:17:26 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 30 Apr 2002 21:17:26 GMT Xref: archiver1.google.com comp.lang.ada:23296 Date: 2002-04-30T21:17:26+00:00 List-Id: dmjones wrote in message news:... > Boys and girls, > > > Seriously, any software that reports itself as safe and > > correct must perform a significant amount of what the old > > Who mentioned safe and correct? This is avoiding the base > issue. Where is the evidence of a worthwhile cost/benefit > for strong typing? > You asked about cost. You did not specify the cost parameters you want to measure. My experience with software is that software is a total waste of exense UNLESS it is both safe and correct. My point in my previous posting is that costs are a result of an overall development process, as well as the requirements and restrictions of a project. If you want to meet the requirements and restrictions of your project you normally, in my experience, must produce the required behavior from your software. Strong typing allows me to define code such that the compiler and default run time checks can detect erroneous data. This saves me the time and the cost of trying to manually build in all the same checks, or to define a test program to identify all the places where such checks are needed. This does not mean that I do not test my software. It does mean that I do not have to test my software for how it handles out of range data. To paraphrase a posting to comp.lang.ada many years ago, in my experience C programmers are much more adept at using debuggers than are Ada programmers. The reduced need for debugging time is a cost savings. When you are looking at cost, are you only looking at the execution speed of a compiled program? Clearly a program with no type checking at all will be much faster than one with type checking. It is also true that a program with no type or data checking will not be as safe as one with type and data checking. This discussion may need to be reduced to a discussion of how to determine the cost of software. Many organizations have no answer to the question of how to determine the cost of software. Some people think software costs only include coding costs. Some people include coding and design costs. Some even add in maintenance costs. Other people see the primary cost of software being the damages caused by the software when it malfunctions. Jim Rogers