摘要： 当数据从不可信的外部世界进入可信的内部区域时应该对数据进行检查，这是Erlang程序设计的一个基本原则（同时也是很多其他语言的原则）。倘若经过验证，数据符合我们的预期，就没必要做重复检查了：写代码时只需要关注正确的情况即可，剩下的问题可以全权交由监督机制处理。这样做可以大大缩减代码的尺寸（想想我... 阅读全文