Pstack 的类型系统纪律原则主张拒绝不可能状态，例如一笔支付不能同时处于已支付和待处理状态，用类型设计排除非法组合。