类型检查在编译或运行前验证变量、参数和返回值的类型一致性，能捕获接口误用；lint 通过静态分析发现未使用变量、可疑空值处理、风格违规等问题。