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-Thread: 103376,c89a4b067758a6e1 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.germany.com!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail Message-Id: <1646707.uLek5tK8oX@linux1.krischik.com> From: Martin Krischik Subject: Re: Is it really Ok to assert that the Ada syntax is a context-free grammar ? Newsgroups: comp.lang.ada Date: Thu, 21 Feb 2008 20:24:14 +0100 References: <4a448c5c-a4ed-446f-bb8b-67c5ba99927a@f47g2000hsd.googlegroups.com> <47bbfb5b$1@news.post.ch> <37b7e369-01c8-4adf-8d1e-c40fa7e51cea@f47g2000hsd.googlegroups.com> User-Agent: KNode/0.10.5 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@hispeed.ch Organization: hispeed.ch NNTP-Posting-Host: 84.75.167.168 (84.75.167.168) NNTP-Posting-Date: Thu, 21 Feb 2008 21:15:19 +0100 X-Trace: 495a947bddbd7f1ee020d05638 Xref: g2news1.google.com comp.lang.ada:19950 Date: 2008-02-21T20:24:14+01:00 List-Id: Ludovic Brenta wrote: > Martin Krischik wrote: >> Jeffrey R. Carter schrieb: >> > X (Y) cannot represent a type cast because Ada does not have anything >> > called "type cast". >> >> Not quite, if you consider "type cast" is a unchecked bit pattern copy - >> so if you define: > > Jeffrey is correct; it is not a "type cast", it is a "type conversion" > and there is no such thing as "Ada.Unchecked_Cast". Yes, this is nit- > picking; why would we choose Ada if we didn't care about details and > wording? (X)Y copy a bit pattern. reinterpret_cast (Y) copies a bit pattern. Unchecked_Conversion (Y) copies a bit pattern. Just because there are three different words does not mean they are different concepts. Just as Red, Rot and Rouge are three different words describing the same colour. Martin -- mailto://krischik@users.sourceforge.net Ada programming at: http://ada.krischik.com