[Python-ideas] TypeHinting: From variable name to type (IDE Support only)

[Thomas Güttler]

Am 19.10.18 um 11:42 schrieb Ivan Levkivskyi:
> On Fri, 19 Oct 2018 at 08:19, Thomas Güttler <guettliml at thomas-guettler.de <mailto: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.


I agree. For me IDE support is all I need.

Regards,
   Thomas Güttler

-- 
Thomas Guettler http://www.thomas-guettler.de/
I am looking for feedback: https://github.com/guettli/programming-guidelines