[Python-3000] Optional type checking for Python
jan.grant at bristol.ac.uk
Mon Oct 23 10:45:25 CEST 2006
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.
More information about the Python-3000