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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Build language with weak typing, then add scaffolding later to
 strengthen it?
Date: Fri, 22 May 2015 13:32:41 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <mjo3n4$jvc$1@dont-email.me>
References: <mjlale$dpk$1@speranza.aioe.org>
 <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com>
 <mjn90s$9av$1@dont-email.me>
 <f89a678a-f4a3-4a1c-91d7-d465177bbb1d@googlegroups.com>
 <mjnieh$ejn$1@dont-email.me>
 <ad8483c7-8f3c-4469-9079-a97ca3abaf27@googlegroups.com>
 <mjnpkt$b6j$1@dont-email.me>
 <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com>
 <mjo0mk$7qu$1@dont-email.me>
 <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 22 May 2015 20:31:35 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="a3855fbfe1a666be9aefba0563039ed5";
	logging-data="20460"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19CyVK0A/qropPXMCtOVXVddm3lvfQ+RIM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Thunderbird/31.7.0
In-Reply-To: <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
Cancel-Lock: sha1:rrckJMPyKIXxtK9sxHpkS/XjFEQ=
Xref: news.eternal-september.org comp.lang.ada:25967
Date: 2015-05-22T13:32:41-07:00
List-Id: <comp.lang.ada>

On 05/22/2015 01:04 PM, kalvin.news@gmail.com wrote:
> 
> In my opinion, one of Ada's problem is that it is not allowed to call a
> compiler an Ada compiler if it implements only a subset of the language and
> the compiler has not beed certified. Please correct me if I am wrong here. I
> would consider a subset of Ada quite attractive if it provided same
> functionality as a C99, providing Ada's strong type checking and better
> grammar etc. - and if the compiler would be available even for the smaller
> microcontrollers for free (in the similar manner as C is available).

Weren't you the one railing against people using out-of-date information a
couple of paragraphs earlier in your post? When Ada was a trademark of the DoD,
you could only use the term for a compiler that implemented the full language
and had been certified. At the time of Ada 95 the DoD gave up the trademark, so
there is no authority preventing you from misusing the name. GNAT, for example,
by default is not an Ada compiler.

-- 
Jeff Carter
"I'll get broads up here like you wouldn't believe.
Swingers. Freaks. Nymphomaniacs. Dental hygienists."
Play It Again, Sam
125