Original link: Ten years after the introduction of PEP 484, we surveyed the current state of the Python type system and the tools developers are using / Meta blog.
Meta (Facebook), JetBrains (company behind PyCharm IDE and many other IDE's) and Microsoft did a survey among Python developers.
88% actually did use types in their code. So it seems to be catching on. I suspect though that the survey are mostly developers with Python as primary language and not so many Java/C#/C++/JavaScript developers that use Python occasionally.
Another result: 54% use VS Code, 30% use PyCharm and 11% use Emacs/vim.