[Python-ideas] TypeHinting: From variable name to type

[Ivan Levkivskyi]

On Fri, 19 Oct 2018 at 08:19, Thomas Güttler <guettliml at thomas-guettler.de>
wrote:

> [...]
> This makes the type mapping available for all files in this directory (or
> sub-directories).
> What do you think?
>

I don't think this should be a language feature. _Maybe_ it can be some
kind of an agreed format between IDEs.
But in any case I would first discuss this on PyCharm and VScode
(IntelliSense?) trackers.

Also I don't think it is a good fit for mypy (and probably other type
checkers, but better ask pytype and pyre devs).
I would rather expect that IDEs auto-add annotations using some guided
heuristics, and then type checkers can verify them.

--
Ivan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20181019/5cdb785c/attachment-0001.html>