When comparing CrossHair vs mypy, the Slant community recommends mypy for most people. In the question“What are the best open source Python static analysis tools?” mypy is ranked 3rd while CrossHair is ranked 5th. The most important reason people chose mypy is:
Mypy's type checker checks the types of function parameters, supports type inference, typed collections and has even some support for generics.
Specs
Ranked in these QuestionsQuestion Ranking
Pros
Pro Powerful type checker
Mypy's type checker checks the types of function parameters, supports type inference, typed collections and has even some support for generics.
Pro Works in a truly static way
Mypy works in a truly static way. The checker makes all the checks before the code is actually run, but it still catches a lot of bugs.
Cons
Con Still an experimental project
Mypy is still an unfinished experimental project. It is prone to bugs and to features being changed and removed. Plus, a large part of Python features is yet to be implemented.