On Tue, 22 Oct 2019 at 09:53, Sebastian Rittau
Working at Microsoft means I get asked semi-regularly about why the Python community has not set up a [DefinitelyTyped]( https://definitelytyped.org/) equivalent, and I have historically said 🤷♂️. I have now been asked this enough times that I'm asking all of you if there's a specific reason beyond lack of time and resources so I can give a more informed answer next time this question comes up? I found https://github.com/python/typeshed/issues/2491 which didn't suggest any
Am 22.10.19 um 01:48 schrieb Brett Cannon: particular issue with the idea other than time and resources.
Or I guess another way to phrase the question is if someone created a
site like DefinitelyTyped where things were highly automated and anyone could provide type stubs for any project on PyPI -- and maybe even automated initial type stubs -- would people be interested in such a thing or see any reasons why people would balk at it or not use it?
It's just time and resources. Work on this has already started in the third-party-dist branch in the typeshed repository, but the main blocker in my opinion is the lack of support for namespaces in pypi/warehouse.
Also IIUC Jukka (cc'ed) is going to spend a week or two early November working 100% on kick-starting the transformation of typeshed to a more modular model. -- Ivan