Hacker News Reader

That doesn't work when many libraries don't use type annotations.

> You can (and should) use mypy as part of your pipeline if you use type annotations, and that verifies that your types are correct without needing to use a special editor.

As software engineers, if you are relying on CI to verify language features, you are going backwards in time.

It's not ci, it's part of your (local) build.

Not in my experience. If it's in your local build, it also needs to be in CI. Otherwise mistakes can easily slip through.

The point is it can be both places: locally during hacking and in CI to prevent accidentally pushing broken builds.

Isn't that what I just said?

Also mypy is super easy to use. You just run it on your repo root and it automatically checks everything. It's perfectly well-suited to CLI based dev workflows.