4 ms·

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 speci

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.

xmcqdpt2 4y ago
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.
pkolaczk 4y ago
That doesn't work when many libraries don't use type annotations.
nine_zeros 4y ago
> 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.
- dimator 4y ago
  It's not ci, it's part of your (local) build.
  - icedchai 4y ago
    Not in my experience. If it's in your local build, it also needs to be in CI. Otherwise mistakes can easily slip through.
    - ElevenLathe 4y ago
      The point is it can be both places: locally during hacking and in CI to prevent accidentally pushing broken builds.
      - icedchai 4y ago
        Isn't that what I just said?