[Types-sig] consensus(?) summary (was: Type annotations)

[Paul Prescod]

Skip Montanaro wrote:
> 
> In particular, is the following a non-local write?
> 
>     import sys
>     p = sys.path
>     p.append("/usr/local/lib/other")

No, only name rebindings are writes. p.append is just a method call.
It's type safety is checked by the usual method call type assertion
mechanism.

-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things never trust in: That's the vendor's final bill
The promises your boss makes, and the customer's good will 
http://www.geezjan.org/humor/computers/threes.html