[Python-ideas] Possible enhancement to typing

[Guido van Rossum]

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

>
>
> On Tue, Nov 7, 2017 at 2:58 AM, Guido van Rossum <guido at python.org> wrote:
>
>> On Mon, Nov 6, 2017 at 2:34 AM, Stéfane Fermigier <sf at 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/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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20171107/86c418e1/attachment-0001.html>