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,c84654714c2f5945
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 14 Oct 2005 18:56:53 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <q5qdnT0SeY3HkdLenZ2dnUVZ_tCdnZ2d@comcast.com>
 <1u927xnbmsfw1$.1xg4jk31952ts$.dlg@40tude.net>
 <c741d$434faf1d$49956a2$22390@ALLTEL.NET>
 <b4p2ksjzkv4m.6ghazx68f8js.dlg@40tude.net>
Subject: Re: GNAT GPL Edition - on the plus side
Date: Fri, 14 Oct 2005 19:00:56 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4952.2800
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4952.2800
Message-ID: <F4ydnbGkTKxY2M3eRVn-tg@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-jyW8GzVjTzJc5TEzXfLVqiVf7lyHxawRsBLUguP3Ke8assxuCOq+zWSxZM5uM186nkwSbTTNa2XyBhL!yj2FtAxQAcUvlV3J8Tj7wnt5kHMuoZfYH9gJnXcx6xD3/Xr9YoNyNQjoxzHgKtCFDENzRg0HQRSQ
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news1.google.com comp.lang.ada:5673
Date: 2005-10-14T19:00:56-05:00
List-Id: <comp.lang.ada>


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:b4p2ksjzkv4m.6ghazx68f8js.dlg@40tude.net...
> [rant on]
>
> Why Ada generics do not have boxes for individual parameters?

Ada 200Y does allow mixing of <> and specified parameters in generic formal
packages. Also, the rules for what's visible were clarified. Probably GNAT's
implementation of these changes is what is causing your troubles.

I tried to get more kinds of default parameters for generics, but that
effort failed (mainly because some people seem to hate defaults of any
kind -- there didn't seem to be any technical objections).

> Why Ada
> generics do not have specializations?
>
> Anyway, generics and templates are inherently a mess, but that is another
> story. (:-))

Perhaps because we haven't seen any crying need. I, for one would prefer to
reduce the need for generics than to pile on more features. You have said in
the past that generics are unnecessary with good OOP, and I tend to agree. I
think pretty much everything should be a tagged type derived from
Controlled, and that fact, combined with decent access-to-subprograms and
interfaces, eliminate much of the need for generics. (Of course, if you
insist on supporting archaic untagged types, then you do need generics.)

> [rant off]

Same here.

                         Randy.