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 Path: g2news2.google.com!postnews.google.com!c27g2000vbb.googlegroups.com!not-for-mail From: Gene Newsgroups: comp.lang.ada Subject: Re: A new notion: stronglly-typed-by-user language Date: Sat, 17 Apr 2010 17:27:02 -0700 (PDT) Organization: http://groups.google.com Message-ID: <0f73ae27-af81-46a4-9837-e9b2f1da6c51@c27g2000vbb.googlegroups.com> References: NNTP-Posting-Host: 74.39.170.95 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1271550422 7291 127.0.0.1 (18 Apr 2010 00:27:02 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 18 Apr 2010 00:27:02 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: c27g2000vbb.googlegroups.com; posting-host=74.39.170.95; posting-account=-BkjswoAAACC3NU8b6V8c50JQ2JBOs04 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; Trident/4.0; GTB0.0; .NET CLR 1.1.4322; .NET CLR 2.0.50727; InfoPath.2; .NET CLR 3.0.04506.648; .NET CLR 3.5.21022; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729; MS-RTC LM 8),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:11020 Date: 2010-04-17T17:27:02-07:00 List-Id: On Apr 15, 4:59=A0am, "J-P. Rosen" wrote: > While preparing the upcomming "Using Object Oriented Technologies in > Secure Systems" tutorial for Ada-Europe (plug, plug...), I came across > this beautiful statement (OOTiA, B.1.1.6): > > "C++ is a strongly typed language, if conversions between logically > unrelated types are avoided". > > Ain't that cute? Too, motorcycles are perfectly safe until you have an accident.