Poly 发布面向 Coding Agents 的语言规范草案 v0.6
热点事件持续更新
Poly 发布面向 Coding Agents 的语言规范草案 v0.6
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Poly 发布面向 Coding Agents 的编程语言规范草案 v0.6，目前只有规范、尚无代码。该语言用于编写软件的有状态核心，程序由一组声明的状态机组成，编译器在运行前对声明的有限域做穷尽检查。 据其介绍，poly check 能报出重复扣款、跨机器消息到达顺序等缺陷，例如两次 Pay 调用会发出两笔 charge。这些是规范描述的能力，尚无实现可供验证。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 17:57
Poly：面向 Coding Agents 的人类可读编程语言报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Hacker NewsPoly：面向 Coding Agents 的人类可读编程语言
Poly 是面向 Coding Agents 编写软件有状态核心的编程语言与运行时，程序由一组声明的状态机组成，编译器在运行前对声明有限域做穷尽检查。poly check 能报出重复扣款、跨机器消息到达顺序等缺陷，例如两次 Pay 调用会发出两笔 charge。目前状态为规范草案 v0.6，尚无代码。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。