You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am looking at using this plugin but worried that it might be hard to keep up to date with all of the typing rules and annotations. Also for things like applying generics, I imagine there is some non trivial logic involved with replicating the static typing information.
I am curious about a similar tool, but that uses Mypy to extract out the type information. There seem to be some prior work on this (see python/mypy#4868 and python/mypy#12513) even though it doesn't expose an API.
I am curious about the approach of using the JSON cache files to get the typing information, if they have enough for Sphinx to use.
If you are interested in exploring this together let me know, although I imagine it would be a lot of work!
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I am looking at using this plugin but worried that it might be hard to keep up to date with all of the typing rules and annotations. Also for things like applying generics, I imagine there is some non trivial logic involved with replicating the static typing information.
I am curious about a similar tool, but that uses Mypy to extract out the type information. There seem to be some prior work on this (see python/mypy#4868 and python/mypy#12513) even though it doesn't expose an API.
I am curious about the approach of using the JSON cache files to get the typing information, if they have enough for Sphinx to use.
If you are interested in exploring this together let me know, although I imagine it would be a lot of work!
Beta Was this translation helpful? Give feedback.
All reactions