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
X-Received: by 10.180.207.44 with SMTP id lt12mr4520995wic.5.1374130371352;
 Wed, 17 Jul 2013 23:52:51 -0700 (PDT)
Path: 
 border1.nntp.dca3.giganews.com!border2.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!mf3no1425668wib.1!news-out.google.com!md6ni67897wic.0!nntp.google.com!proxad.net!feeder1-2.proxad.net!137.226.231.214.MISMATCH!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: What if Red had won? [Or Blue?]
Date: Wed, 17 Jul 2013 23:52:48 -0700
Organization: Also freenews.netfront.net; news.tornevall.net
Message-ID: <ks830m$557$1@dont-email.me>
References: <38846385-9884-46d5-8f58-6cf5c6049bbd@googlegroups.com>
 <ks5f03$id5$1@dont-email.me>
 <5deda34c-5889-4722-b9b5-1ee7005efea3@googlegroups.com>
Mime-Version: 1.0
Injection-Date: Thu, 18 Jul 2013 06:46:48 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="68bb7ebc916066bb85146425b2aa8565";
 logging-data="5287"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1+hI8Hf01ARB5CDVv33oY+mrT7qniK71O4="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:17.0) Gecko/17.0 Thunderbird/17.0
In-Reply-To: <5deda34c-5889-4722-b9b5-1ee7005efea3@googlegroups.com>
Cancel-Lock: sha1:9BeQSHEuPSoQ57gjwjXSnb89Uiw=
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Original-Bytes: 3413
Xref: number.nntp.dca.giganews.com comp.lang.ada:182568
Date: 2013-07-17T23:52:48-07:00
List-Id: <comp.lang.ada>

On 07/17/2013 10:48 PM, Shark8 wrote:
>
> I remember reading that the Red team did do the brunt of the 9X revision,
> though this is the first I've heard about Ichbiah resigning in disgust. The
> addition of tagged-types was fairly well-done, I think (as in consistent w/
> records to a fairly high degree) but I don't know of anything that was so
> egregious as to cause disgust... except, perhaps, one thing that [IIRC] Randy
> mentioned in a discussion of generics: they cannot be instantiated solely
> upon the formal parameters matching.
>
> Do you know what things, in particular, he didn't like about the language's
> direction?

In an interview, Taft said, "As it turned out, Jean and I had quite different 
views on how to design the object-oriented features of the updated language, and 
he ultimately left the project when it was decided to follow the design team's 
recommended approach."

(https://www.computerworld.com.au/article/223388/a-z_programming_languages_ada/?pp=3)

My recollection is that Ichbiah said the revision was creating "Ada with null." 
He wanted a notation that used the reserved word "class":

class type T is record ...

He objected to "tagged" as being about the way the concept was implemented, 
while "class" would be about the concept. He also objected to the placement of 
"tagged", and that this would result in too many reserved words in a row in 
things like "is abstract tagged limited private". And, as his phrase "Ada with 
null" would indicate, he objected to the "with null" notation for a type that 
added no new information to its parent. He preferred

class type Child is new Parent;

He wrote an open letter when he resigned explaining why, but I haven't had any 
luck finding it on line.

-- 
Jeff Carter
"I unclog my nose towards you."
Monty Python & the Holy Grail
11