(This is a draft because it's meant for discussion and not to be merged yet; relates to #25)
This changes the "Welcome" demo so that it passes "mypy" type checks.
To achieve this, a mypy configuration file is added and a Python package which provides type information for the "workbench" module. See notes in the README file I added for some concerns we need to clarify first.
(This is a draft because it's meant for discussion and not to be merged yet; relates to #25)
This changes the "Welcome" demo so that it passes "mypy" type checks. To achieve this, a mypy configuration file is added and a Python package which provides type information for the "workbench" module. See notes in the README file I added for some concerns we need to clarify first.
"mypy" has "python-lsp" integration via https://github.com/python-lsp/pylsp-mypy.