On Mon, Nov 6, 2017 at 10:36 PM, Stéfane Fermigier <sf@fermigier.com> wrote:

On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum <guido@python.org> wrote:
On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier <sf@fermigier.com> wrote:
4) 10 years ago, when I was working on the EDOS project ( http://cordis.europa.eu/pub/ist/docs/directorate_d/st-ds/edos-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:

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)