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,5af5c381381ac5a7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 10 Jun 2010 12:10:02 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada requires too much typing!
References: <htnk3r02s27@drn.newsguy.com>
 <op.vdxa48vdz25lew@macpro-eth1.krischik.com>
 <03f84a0a-e070-43a9-9b68-920345f64f94@r27g2000yqb.googlegroups.com>
 <op.vdxqmnd6z25lew@macpro-eth1.krischik.com>
 <1c704c1e-1b2e-427f-ae0e-3b2a0f976c7c@y4g2000yqy.googlegroups.com>
 <op.vdy4awkuz25lew@macpro-eth1.krischik.com>
 <c459b285-851b-4d6f-95fe-0c28b58ddf45@e5g2000yqn.googlegroups.com>
 <14cxhfhcbdmaa$.gp6rbqu5865h.dlg@40tude.net>
 <e42a106e-e8f7-4b43-9924-f5426949856e@x21g2000yqa.googlegroups.com>
 <dtm07r1j3hd1$.1smgw34pbqe4x$.dlg@40tude.net>
 <457b9c75-1c94-4137-a823-2db342cb26d1@c10g2000yqi.googlegroups.com>
 <1bghlzj6b2s34.19id3bthuckg5$.dlg@40tude.net>
 <4c0facec$0$6991$9b4e6d93@newsspool4.arcor-online.net>
 <mbmnq76cmi0k$.priycimsgjq0.dlg@40tude.net> <op.vd1oahojxmjfy8@garhos>
 <101ot9m0ul54n$.6ktxh9d7h6td$.dlg@40tude.net> <op.vd1w2qx7ule2fv@garhos>
 <e04qn6xkiwro$.5awjwi8p6m19.dlg@40tude.net> <op.vd2s7oznule2fv@garhos>
 <ncpxrd0t5554.1peqqo7crxhdz.dlg@40tude.net>
In-Reply-To: <ncpxrd0t5554.1peqqo7crxhdz.dlg@40tude.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <4c10b9fb$0$6974$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 10 Jun 2010 12:10:03 CEST
NNTP-Posting-Host: 540aad5e.newsspool4.arcor-online.net
X-Trace: 
 DXC=dFi2\=<UTIlf1oJaJ0@dmg4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOkQAOO[X1i<Cnnc\616M64>jLh>_cHTX3jm@5G0K@7:^;n
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:11573
Date: 2010-06-10T12:10:03+02:00
List-Id: <comp.lang.ada>

On 10.06.10 11:07, Dmitry A. Kazakov wrote:

> I call this type algebra. There are operations that yield types from types
> and values. Generic instantiation is such an operation. Derivation is
> another. Array declaration is third. Type constraining is forth, etc.
> 
> If I were ARG, I would consider the algebraic type operations the language
> needs, with the goals:
> 
> 0. SIMPLIFY THE LANGUAGE
> 1. Reduce generics use no absolute minimum (without performance penalty)
> 2. Most of currently built-in types must become library-defined
> 3. The standard container library must be freed of generics
> 4. The problem of container subtypes to be solved (e.g. when and how a
> container of subtypes becomes a subtype or not)
> 5. The problem of containers of class-wides to be solved (+ relation of a
> container of class-wides to a container of specific types, when, how)

What will be the type of a non-generic package?