Re: Announce: Grace project site operational

["Randy Brukardt" <randy@rrsoftware.com>]

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.