「依赖类型」标签文章

用编译期类型思维设计稳定的 API 限流与计费系统

答案是：把约束尽可能前移。金额、配额、时间窗口写成不可混用的品牌类型，边界在构造器校验，请求状态迁移用枚举穷举，再配合原子扣减脚本与带唯一约束的幂等账本，让非法状态在写出来之前就被拒绝。