I will say in my discussions with the DefinitelyTyped folks as I recall, I got the understanding that they still reviewed the code to a degree. I think it's best to do this, as we would want a certain degree of trust in the project. Otherwise I think it is essentially a task of making the automation happen and defining the workflow.
Typeshed does exist and is kind of like DefinitelyTyped, although the coverage is of course a lot less. We've discussed DefinitelyTyped at a couple of recent typing meetups and there's a consensus that it would be good to make typeshed more like DefinitelyTyped, but as Brett said we haven't been able to find time to do the automation/tooling work to get that off the ground. Contributions are welcome!
I would love it if something like DefinitelyTyped existed for Python! It would be a great step forward for usability. It's unclear to me right now how to find types for third party libraries other than by googling "<library> type stubs" or by generating them myself, which is what I imagine most people are doing. It would be nice if we could share our work more easily.
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 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?
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/