静态类型尽管在 IDE 支持方面可以非常有帮助，对减少 bug 数量的贡献很可能并没有想象之中的重要。要避免 bugs 最好的办法还是测试驱动开发。