6 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 spe

> 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?