Type combinations

[Peter Hall]

> I think TG1 should look into various kinds of type constraints for the
> next iteration of the spec -- this would be interesting for the
> parameterized types, also.  For now, proposals really need to be
> closed if we're going to finish the spec within a reasonable time.  I
> will write up this as a ticket in Trac and then immediately resolve it
> as "Deferred"; the intent is that we will produce a document with
> deferred ideas by and by.  There are lots of them.
>
> --lars
>

Thanks.

I think the important thing is that the syntax for union types is
designed with more complex set operations in mind. Otherwise we could
end up with some really ugly syntax if they get added in a later
revision.

Peter