Type-Def-ing Python

[brianlum@gmail.com]

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 had his contact information so that I could
might ask him for his source code and try to use type-defing as a
bug-finder.

With thanks,
Brian

[aurelien.campeas@free.fr]

Re: Type-Def-ing Python

If you are interested in static analysis for bug hunting purposes, then
you might want to have a look at Pylint.

Cheers,
Aurélien.

[Alex Martelli]

Re: Type-Def-ing Python

<brianlum@gmail .com> wrote:
...[color=blue]
> 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 had his contact information so that I could
> might ask him for his source code and try to use type-defing as a
> bug-finder.[/color]

Brett is active on Python-Dev, so post there and you're likely to get a
response from him -- your subject is not OT for that list, anyway!


Alex

[Aahz]

Re: Type-Def-ing Python

In article <1hefehe.gyyjap 1my3zj0N%aleaxi t@yahoo.com>,
Alex Martelli <aleaxit@yahoo. com> wrote:[color=blue]
><brianlum@gmai l.com> wrote:
> ...[color=green]
>> 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 had his contact information so that I could
>> might ask him for his source code and try to use type-defing as a
>> bug-finder.[/color]
>
>Brett is active on Python-Dev, so post there and you're likely to get a
>response from him -- your subject is not OT for that list, anyway![/color]

Oh, so this is why we got an off-topic post on python-dev. Shouldn't you
have told him to use Google?... ;-)
--
Aahz (aahz@pythoncra ft.com) <*> http://www.pythoncraft.com/

"Argue for your limitations, and sure enough they're yours." --Richard Bach

[Alex Martelli]

Re: Type-Def-ing Python

Aahz <aahz@pythoncra ft.com> wrote:
[color=blue]
> In article <1hefehe.gyyjap 1my3zj0N%aleaxi t@yahoo.com>,
> Alex Martelli <aleaxit@yahoo. com> wrote:[color=green]
> ><brianlum@gmai l.com> wrote:
> > ...[color=darkred]
> >> 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 had his contact information so that I could
> >> might ask him for his source code and try to use type-defing as a
> >> bug-finder.[/color]
> >
> >Brett is active on Python-Dev, so post there and you're likely to get a
> >response from him -- your subject is not OT for that list, anyway![/color]
>
> Oh, so this is why we got an off-topic post on python-dev. Shouldn't you
> have told him to use Google?... ;-)[/color]

I don't think that applying type-inferencing to such task as debugging
(and possibly applying minor tweaks to Python to help out with that) is
OT for python-dev.


Alex