Illegal vs Unwanted States17 hours agohttps://buttondown.com/hillelwayne/archive/illegal-vs-unwanted-states/非法状态永远不可接受，而不期望状态虽不受欢迎但可暂时存在。不期望状态（如日程冲突或超额预订航班）可能不会导致非法状态，但仍需解决。系统必须表示不期望状态，如外部输入或有意设计（例如航空公司允许超售）。不期望状态可能是工作流所必需的（如重复预订），应提醒用户加以管理。形式上，非法状态违反不变量（始终为假），而不期望状态涉及安全性和活性属性，例如最终必须恢复的网络分区。