Comment by phooji

Pyre is faster in some circumstances.

With that said, the real answer is 'it depends', and it may well be the case that mypy serves your needs better.