Regarding MyPy , I just opened a PR (Initial support for enabling MyPy in CI by mikepapadim · Pull Request #8302 · apache/tvm · GitHub) which adds initial support for MyPy as part of the initial linting stage in Jenkins.
Currently, errors are ignored in order to pass Jenkins pipeline.
IMO this PR can be merged as initial support.
The question that raises is how to proceed after that. Enabling MyPy on the whole project produces thousands of types errors. So, I think is feasible fixing type errors in some modules and enabling it after.
What do you think about that? Is there any preference for modules that can benefit immediately?