[Python-Dev] Type-Def-ing Python

[Brett Cannon]

On 4/27/06, Brian C. Lum <bclum at cs.ucsd.edu> wrote:
> Dear Python Community,
>
> I have been trying to research how to type-def python.  I want to type-def
> python so that I can use it as a static analyzer to check for bugs.  I
> have been going over research on this field and I came upon
> Brett Cannon's thesis in which he tweaks the compiler and shows that
> type-defing python would not help the compiler achieve a 5% performace
> increase.
>
> Brett Cannon, "Localized Type Inference of Atomic Types in Python":
> http://www.ocf.berkeley.edu/~bac/thesis.pdf
>
> I was wondering if anyone could help me contact him so that I could might
> ask him for his source code and try to use type-defing as a bug-finder.
>

Just so people know, I obviously got the email and will take this off-list.

-Brett