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

[Armin Rigo]

Hi Brian,

On Tue, Apr 18, 2006 at 10:38:51PM -0700, Brian C. Lum wrote:
> 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.

This is a well-known fact.  The standard reference is Brett Cannon's
thesis "Localized Type Inference of Atomic Types in Python".

About guessing types, this is what RPython is about:
http://codespeak.net/pypy/dist/pypy/doc/dynamic-language-translation.html


Armin