470,600 Members | 1,489 Online
Bytes | Developer Community
New Post

Home Posts Topics Members FAQ

Post your question to a community of 470,600 developers. It's quick & easy.

Type-Def-ing Python

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

Apr 26 '06 #1
4 1077
If you are interested in static analysis for bug hunting purposes, then
you might want to have a look at Pylint.

Cheers,
Aurélien.

Apr 26 '06 #2
<br******@gmail.com> wrote:
...
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.


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
Apr 27 '06 #3
In article <1h****************************@yahoo.com>,
Alex Martelli <al*****@yahoo.com> wrote:
<br******@gmail.com> wrote:
...
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.


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!


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

"Argue for your limitations, and sure enough they're yours." --Richard Bach
Apr 27 '06 #4
Aahz <aa**@pythoncraft.com> wrote:
In article <1h****************************@yahoo.com>,
Alex Martelli <al*****@yahoo.com> wrote:
<br******@gmail.com> wrote:
...
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.


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!


Oh, so this is why we got an off-topic post on python-dev. Shouldn't you
have told him to use Google?... ;-)


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
Apr 28 '06 #5

This discussion thread is closed

Replies have been disabled for this discussion.

Similar topics

6 posts views Thread by S.Tobias | last post: by
reply views Thread by Chris Fink | last post: by
1 post views Thread by Rob Griffiths | last post: by
669 posts views Thread by Xah Lee | last post: by
By using this site, you agree to our Privacy Policy and Terms of Use.