Full threadanilshanbhag·I really hope they develop a faster mypy. In my dev workflows, mypy takes most of the time. Linting is a small fraction of it.View on HN