有些计算机语言，运算可能会返回空值（null），这是一个设计错误，因为会中断类型系统，你将无法依靠编译器来检查代码的有效性。 任何可能为 null 的值都是等待爆炸的炸弹。我们必须依靠运行时手动检查来确保所处理的值不为 null。即使是静态类型语言，null 也剥夺了类型系统的许多好处。 -- 《可变状态是新的 Goto》

What Böhm and Jacopini's article showed was that all programs could be goto-free.

Exceptions are just like notorious goto statements that torn the fabric of our programs.