[Types-sig] Type Annotations Progress report

[Paul Prescod]

Marcin 'Qrczak' Kowalczyk wrote:
> 
>...
> So if (Interf1, Interf2, Interf3) could play the role of an interface
> pattern for items, then [Interf] should mean that it's a sequence
> whose all items implement Interf.

I would actually rather use the syntax [Interf, ...], but my concern
with this comes back to implementation. I'll put the basic system out
and let people talk about good models for handling the hard
parameterizations. Once we've got a good runtime model with acceptable
performance, we can put in the syntax for it.

-- 
Take a recipe. Leave a recipe.  
Python Cookbook!  http://www.activestate.com/pythoncookbook