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,1901f265c928a511 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: Jeffrey Carter Organization: jrcarter commercial-at acm [period | full stop] org User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.4) Gecko/20030624 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Typing in Ada References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 02 Jun 2004 01:30:24 GMT NNTP-Posting-Host: 63.184.0.26 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.news.pas.earthlink.net 1086139824 63.184.0.26 (Tue, 01 Jun 2004 18:30:24 PDT) NNTP-Posting-Date: Tue, 01 Jun 2004 18:30:24 PDT Xref: controlnews3.google.com comp.lang.ada:1000 Date: 2004-06-02T01:30:24+00:00 List-Id: Peter C. Chapin wrote: > This isn't an entirely fair comparison because in C, typedef doesn't > introduce a new type it simply creates a new name for an existing type. In > Ada, it would be more similar to using a subtype, perhaps. Something like The number of ways in which a language allows errors to be detected at compilation time because of erroneous type mixing is the essence of strong typing. Ada is more strongly typed than Pascal because of its ability to define new numeric types (among other things). The ability to define new numeric types is a way that Ada allows the compiler to detect errors that C lacks. Thus, the example is a perfectly good example of Ada being more strongly typed than C, and a fair comparison of the strength of typing in the 2 languages. -- Jeff Carter "Now look, Col. Batguano, if that really is your name." Dr. Strangelove 31