开发者 Marc J. Schmidt 呼吁为 AI 编码加“逻辑检查器”：规则错误总在运行时才暴露

开发者 Marc J. Schmidt 提出，当前编码工具链已有类型检查和内存检查，却缺少逻辑检查器，规则写完后常要花数小时调试才在运行时发现失效，他把这种体验类比为“回到没有类型系统的 JavaScript 时代”。这指向 AI 辅助编码的一个空白：在静态检查之外，如何让业务逻辑和不变量在更早阶段被验证。