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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,42e401e32683b965 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!b33g2000yqc.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: A new notion: stronglly-typed-by-user language Date: Thu, 15 Apr 2010 14:31:48 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: NNTP-Posting-Host: 85.1.62.2 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1271367108 10463 127.0.0.1 (15 Apr 2010 21:31:48 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 15 Apr 2010 21:31:48 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: b33g2000yqc.googlegroups.com; posting-host=85.1.62.2; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.2) Gecko/20100115 Firefox/3.6,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:10000 Date: 2010-04-15T14:31:48-07:00 List-Id: On 15 Kwi, 10:59, "J-P. Rosen" wrote: > "C++ is a strongly typed language, if conversions between logically > unrelated types are avoided". > > Ain't that cute? http://en.wikipedia.org/wiki/Strong_typing "these terms have been given such a wide variety of meanings over the short history of computing that it is often difficult to know, out of context, what an individual author means when using them." Indeed, if I cherry-pick bits of this page on Wikipedia, C++ seems to be strongly typed. If I cherry-pick some other bits, Ada seems to be weakly typed. The statement that you cited is therefore not very convincing. In particular, what are "conversions between logically unrelated types"? Is Integer'Image such a conversion? What about arbitrary casts between numeric types? What about unchecked casts? -- Maciej Sobczak * http://www.inspirel.com YAMI4 - Messaging Solution for Distributed Systems http://www.inspirel.com/yami4