[Types-sig] PyDL RFC 0.02

[Paul Prescod]

scott wrote:
> 
> What I want to be able to do:  declare types, and have things which
> contradict the declarations reported nicely at compile time.  A little
> searching through the code you posted didn't show any clear way to
> declare types, it just seems to spit out lots of attribute warnings
> when run it on itself, and it fails to detect anything wrong with the
> few simple cases I've thrown at it.  

The important thing is that Greg's code (presumably!) knows how to
propogate types around expressions and suites like:

j = k or q(foo() and bar())

That's quite an accomplishment considering how quickly he coded it.

 Paul Prescod