[Types-sig] parameterized typing (was: New syntax?)

[Paul Prescod]

Greg Stein wrote:
> 
> ....
> Paul: does this sufficiently address your desire for parameterized types?
> Others: how does this look? It seems quite Pythonic to me, and is a basic
> extension of previous discussions (and to my thoughts of the design).

Without thinking every detail through it looks good to me for handling
parameterized classes. I think that parameterized typedecls and
functions are still an issue.

Also, was it your intent that the _ be required or would the fact that
the param was declared obviate that. I am thinking that there may a more
general syntax that allows us to parameterize various sorts of things.

interface (a,b) foo: ...
class (a, b) foo: ...
def (a, b) foo(a) -> b:
decl foo(a,b) = typedef ...

-- 
 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