Comment by ipsum2

Pyre has optional strict mode typing if you want to enforce it. It also is more sound than mypy.