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 15:39:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.cidera.com!Cidera!cyclone.socal.rr.com!cyclone3.kc.rr.com!news3.kc.rr.com!twister.socal.rr.com.POSTED!not-for-mail Message-ID: <3CCF1D1A.5F291259@san.rr.com> From: Darren New X-Mailer: Mozilla 4.77 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Is strong typing worth the cost? References: <3CCED46D.43145174@san.rr.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 30 Apr 2002 22:38:38 GMT NNTP-Posting-Host: 66.75.151.160 X-Complaints-To: abuse@rr.com X-Trace: twister.socal.rr.com 1020206318 66.75.151.160 (Tue, 30 Apr 2002 15:38:38 PDT) NNTP-Posting-Date: Tue, 30 Apr 2002 15:38:38 PDT Organization: RoadRunner - West Xref: archiver1.google.com comp.lang.ada:23302 Date: 2002-04-30T22:38:38+00:00 List-Id: tmoran@acm.org wrote: > > Sometimes dynamic typing will be better (like, when you're tracking > Whoa! Just what did the OP mean by "strong typing"? I don't know. That's why I said it's important to figure out what Derek is talking about. He said > But I my interest is purely in > the advantages of strong typing. Language comparison is too > broad an issue. That's just silly, tho. You can't take a language as strongly typed as Ada and just throw away the typing, and expect to get anything worthwhile out of it. It's like saying "I want to investigate the effect of different engine sizes on automobile performance, so I'm going to put this V-8 in a VW Bug and see how it handles." If you don't change the steering, the transmission, and the wheels to match the new power (let alone the center of balance), it's not going to work well. x : Integer; is neither more nor less strongly typed than y : Integer range 0..5000; in Ada. If you're trying to do this study and then generalize it to something other than Ada, something about strong vs weak typing, then you're going to be playing the GIGO game. If you ask > So where are the studies showing that strong typing in Ada (or > Pascal) saves money/time, creates more reliable programs, etc? and then only compare Ada programs, you're getting garbage. Ask a similar question - "How efficient would an Ada program be with no type declarations?" You can't answer that, because "Ada without type declarations" is a meaningless phrase. So of course there's no experimental evidence about which is better. -- Darren New San Diego, CA, USA (PST). Cryptokeys on demand. The 90/10 rule of toothpaste: the last 10% of the tube lasts as long as the first 90%.