类型系统通过代数数据类型和不可变性等机制把部分运行时错误转化为编译期错误；静态分析则借助数据流分析和抽象解释发现空指针、资源泄漏等模式。