
On Tue, 30 Nov 2021 at 23:37, Guido van Rossum <guido@python.org> wrote:
We should definitely push back on zealous new converts to typing who insist that everything should be annotated. But we should also recognize that even in their current, far from perfect state, type annotations can provide a lot of value, when used right. (Have you run into VS Code yet? It gets tremendous value from typing stubs, in the form of improved auto-complete and hover-doc functionality.)
I might be misunderstanding but if "hover-doc" is the same as "mouse-over" then it apparently needs many gigabytes of memory and a lot of CPU time when you put the mouse over a sympy function that you are using in your code. It has been suggested that SymPy should fix this by adding hints like Any but I don't see the point of that: SymPy has plenty of bugs but this particular bug is in VS Code. I can see the potential value that type hints can bring for an editor like VS Code but is the editor also pushing an agenda that all code should be *explicitly* typed? Does VS Code pressurise people into using type hints in their own code? I presume it does because I see the effect in my students (although I might be misattributing this to VS Code rather than something else). -- Oscar