安全代码

• 编译器会告诉你，你的代码隐藏的不安全；有些代码不会再编译时暴露问题，这就导致了运行时问题，这种代码就被称为不安全代码；
• 将失败性编码到类型系统中；