[Types-sig] List of FOO

[Paul Prescod]

Thanks for describing how viper does parameterized types. There are a 
couple of things that I don't understand:

skaller wrote:
> 
>         PyListOfInt = PyListOf(PyIntType)

But does this involve executing arbitrary code defined by PyListOf? That
would hurt our ability to do static type checking.

>         x.append(1)
> 
> ends up calling 
> 
>         PyListOf.append(PyIntType, x, 1)
> 
> which means it can check that 1 is of type PyIntType.

Right, but what is the declaration for append and how does it say that
it takes a single argument and the argument must be of type PyXType
where X can vary?
-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things see no end: A loop with exit code done wrong
A semaphore untested, and the change that comes along
http://www.geezjan.org/humor/computers/threes.html