On 12/11/05, Larry Wall <[EMAIL PROTECTED]> wrote:
> On Wed, Nov 09, 2005 at 01:45:21PM +0100, TSa wrote:
> : So, why not call the thing what it is---a set *type* declarator!
> :
> : set SmallInt of Int where { abs < 10 };
> :
> : set SomeNums of Num = (3.14, 4, 89, 23.42);
> :
> : set Bit of Int = (0,1);
>
> Interesting idea. I expect a bit of interference from the verb
> "to set", but that's probably not a showstopper, particularly since
> the next token isn't a variable.
I think 'subset' might be a nicer colour for this bikeshed. For an
extra three characters you lose the confusion with "to set", and it
highlights the fact that you're (usually) declaring a *constrained*
subset of the original type.
Stuart
