On Wed, 14 Jan 2009 23:10:07 -0800, Paul Rubin wrote:
> I think this sub-thread has been mostly about dynamically creating new
> class instance attributes, but yes, at one point I did suggest adding
> type checking (ML-like inference) to pylint, presumably with feedback to
> the compiler for optimization purposes. I noted that Python 3.0 in fact
> has some features to support annotations for the purpose of static type
> checking, so it's not as far off the wall as it might sound.
I fear anything that will lead Python moving towards C/Pascal/Java type
declarations, but I feel great enthusiasm at the thought that maybe by
the time we get to Python 4.0 there will be type inference which could
enable compiler optimizations.
Exciting times people, exciting times.
--
Steven