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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no 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: Georg Bauhaus <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ichbiah's Letter
Date: Tue, 28 Oct 2014 10:45:21 +0100
Organization: A noiseless patient Spider
Message-ID: <m2nojb$9g7$1@dont-email.me>
References: 
 <c5759719-1892-476a-bfe6-8cd9ec576220@googlegroups.com><m2e6r6$go3$2@dont-email.me>
 <87mw8ivlr4.fsf@adaheads.sparre-andersen.dk> <m2mft7$r0h$1@loke.gir.dk>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 28 Oct 2014 09:45:15 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="ccad6836240abaf72f72a13f8d01711f";
	logging-data="9735"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18aEpGcFm/R/gRULqi9YFam35MY11Mr9d4="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <m2mft7$r0h$1@loke.gir.dk>
Cancel-Lock: sha1:GbaDG1aLUCLTLvAGYj98sbEMkzo=
Xref: news.eternal-september.org comp.lang.ada:22841
Date: 2014-10-28T10:45:21+01:00
List-Id: <comp.lang.ada>

On 27.10.14 23:10, Randy Brukardt wrote:
> the class type would not have
> helped that at all -- something totally new isn't easy to learn, either.

If this means "fundamental types" vs "class types", hasn't this
distinction been successful in mainstream languages (no matter what
the type theorists say)?