@poteto: 非常看好 Bend，这正是我在其他语言中一直尝试要做的，但仅靠弱类型系统和 lint 规则，你只能走这么远。

对Bend非常看好，这正是我一直在其他语言中尝试实现的目标，但受限于薄弱的类型系统和代码规范检查，终究难有突破。

当你的代码库具备自我形式化验证能力时，开发速度将呈指数级增长。代码审查的难题将迎刃而解。

Taelin (@VictorTaelin)： 即使在我最乐观的想象中，也未曾预料到会有人像Giulio那样深刻理解这点——而这正是关键所在。

当前模型已具备惊人能力，其智能足以构建无限复杂的软件，但错误会持续累积，最终累积到技术债务的临界点。