在程序开发中，依赖运行时状态逻辑容易引入错误。通过类型系统将状态逻辑编码到类型中，可以在编译时发现潜在问题。将消息分为不同类型（如 RawMessage 和 EncryptedMessage）可避免错误调用，提升安全性和可维护性，简化逻辑并降低重构风险。