Is your feature request related to a problem? Please describe.
General brainstorming/thoughts on potential alterations to the type checking workflows defined here:
The example installs mypy-extension and pyright (if I remember correctly, the former doesn't really do anything for the latter, although I think Pylance can use it for type completions -- is that why it's there?). Should mypy be utilized as well?
The Makefile runs pyright as part of the cqa target, but it doesn't run in GitHub Actions. Should it?
As @korikuzma noticed, the tox file references some kind of types target, but doesn't seem to actually define or run it(?).
Is your feature request related to a problem? Please describe. General brainstorming/thoughts on potential alterations to the type checking workflows defined here:
example
installsmypy-extension
andpyright
(if I remember correctly, the former doesn't really do anything for the latter, although I think Pylance can use it for type completions -- is that why it's there?). Shouldmypy
be utilized as well?pyright
as part of thecqa
target, but it doesn't run in GitHub Actions. Should it?tox
file references some kind oftypes
target, but doesn't seem to actually define or run it(?).