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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-10 12:01:02 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!news.maxwell.syr.edu!sjc-peer.news.verio.net!news.verio.net!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
Date: Fri, 10 May 2002 14:00:50 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <udo67e95obqo2b@corp.supernews.com>
References: <mailman.1020954242.24731.comp.lang.ada@ada.eu.org>
 <udllen75oc322b@corp.supernews.com>
 <gc1ndukgsts9ake0le6q9ot8s4a3l1l2hn@4ax.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:23865
Date: 2002-05-10T14:00:50-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote in message ...
>On Thu, 9 May 2002 15:02:47 -0500, "Randy Brukardt"
><randy@rrsoftware.com> wrote:
>
>>Supporting default parameters for generic types would be (I think) a
>>whole lot simpler than 'types as objects'. Ada has default parameters
>>for generic subprogram parameters, why not types?
>>
>>Something like:
>>
>>    type Count is (<>) use Natural;
>>
>>seems like it would work. Probably worth thinking about a bit.
(Warning:
>>I have made no effort to think about the ramifications of this idea!!)
>
>We already have two different words for IS: "is" and ":=", "use" would
>be a third one. (:-))

I know from past discussions that the ARG really does not want repeated
reserved words in the syntax. So,

    type Count is (<>) is Natural;

is out. ":=" applies to objects, not types, and I don't think we want to
make types look like objects. "use" is used to mean "is" in
representation clauses already, so it seems to be the logical candidate.
But there may be a better syntax.

            Randy.