• 错误更早暴露
    • 代码更智能，编码更准确
    • 重构更牢靠
    • 可以减少不必要的类型判断