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
X-Google-Thread: 103376,5af5c381381ac5a7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.teledata-fn.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada requires too much typing!
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <htnk3r02s27@drn.newsguy.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>
 <4c10b9fb$0$6974$9b4e6d93@newsspool4.arcor-online.net>
Date: Thu, 10 Jun 2010 12:28:21 +0200
Message-ID: <3cth5ux94urb.1a27cfod1t37j.dlg@40tude.net>
NNTP-Posting-Date: 10 Jun 2010 12:28:21 CEST
NNTP-Posting-Host: 0c2b1661.newsspool4.arcor-online.net
X-Trace: 
 DXC=koA=gMW_G\N0YVY]kmLTlD4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOK`b2fgMK20oG[6LHn;2LCVN7enW;^6ZC`D\`mfM[68DCC52X[glZGC3N
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:12546
Date: 2010-06-10T12:28:21+02:00
List-Id: <comp.lang.ada>

On Thu, 10 Jun 2010 12:10:02 +0200, Georg Bauhaus wrote:

> 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?

Packages have no types.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de