[pypy-dev] Statically type-def-ing Python

Brian C. Lum bclum at cs.ucsd.edu
Wed Apr 19 07:38:51 CEST 2006

Dear Pypy group,

Let me start by thanking you all for being so helpful in the past while I 
was learning to work with Pypy.

I am trying to do research on how to type-def variables in Python at 
compile time.  I have been reading different papers on bounds checking and 
static detection with scripting languages (for security), but I have not 
been able to find a feasible solution with Python.

I was wondering if anyone knew some good references.  I honestly cannot 
think of any way to type-def Python, except using heuristics to make 
guesses at what a variable might possibly be.

Thank you in advance for your help,

More information about the Pypy-dev mailing list