Re: [Python-ideas] Possible enhancement to typing

On Mon, Nov 6, 2017 at 10:36 PM, Stéfane Fermigier wrote:

On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum wrote:

...

On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier wrote:

...

4) 10 years ago, when I was working on the EDOS project ( http://cordis.europa.eu/pub/ist/docs/directorate_d/st-ds/edo s-project-story_en.pdf ), I ran a small experiment where I used, IIRC, the profile hook to intercept all function / method calls, and log information about arguments and return value types to a gigantic log file. Then the log file could be parsed and these information used to suggest type annotations. Except there were no type annotations at the time in Python.

I know PyCharm can do a similar thing now: you run your program or your tests under the debugger, it logs runtime type information somewhere, and then can use it to suggest autocompletion or maybe type annotations.

I didn't know this. Do you know where there are docs for this feature?

This was described in this blog post when first introduced:

https://blog.jetbrains.com/pycharm/2013/02/dynamic- runtime-type-inference-in-pycharm-2-7/

And more tersely, in the documentation: https://www. jetbrains.com/help/pycharm/python-debugger.html

Oh. It sounds like it doesn't generate stubs or PEP 484 annotations. -- --Guido van Rossum (python.org/~guido)