On Tue, 30 Nov 2021 at 23:37, Guido van Rossum <gu...@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 _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/C2EEXBT6BEWGOUHBDZ4ILWN6MQZUGQAW/ Code of Conduct: http://python.org/psf/codeofconduct/
