Hacker News new | ask | show | jobs
by clarus 2521 days ago
Pylint and mypy are about syntax and type-checking. While I agree these kind of tools work well, if think that by static analysis people usually imply something which goes farther than that. For example, the languages Facebook is citing (C++, Java, ...) already include type-checking in the compiler.
1 comments

Pylint catches lots of semantic bugs, far from just syntax.