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

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