[Python-3000] Optional type checking for Python

[Jan Grant]

On Sun, 22 Oct 2006, Neil Dunn wrote:

> Dear All,
> 
> (I'm forwarding this from the main pydev mailing list)
> 
> I'm a Master's student at Imperial College London currently selecting
> a Master's thesis subject. I am exploring the possibility of "optional
> typing" and "pluggable type systems" (Bracha) for Python. Reading
> around I see that the closest we ever got was PEP 246 (object
> adaption) which has been dropped in favour of generic functions.
> 
> Guido informs me optional static typing probably won't appear in
> Python 3 so I'm safe exploring the ideas for my thesis. I'm planning
> on making the project quite research based and explore implementations
> in CPython or Jython.
> 
> Does anyone have any thoughts about the project? Useful background
> reading, ideas, flames etc?

Only in general support of strong typing with type inferencing :-)

If you've not seen it, "boo" (boo.codehaus.org) is a static typed 
language that riffs on python - although it definitely _isn't_ python.

-- 
jan grant, ISYS, University of Bristol. http://www.bris.ac.uk/
Tel +44 (0)117 3317661   http://ioctl.org/jan/
They modified their trousers secretly.