Pactern Language 发布 0.1.0 开发者预览：让 AI 改代码、契约不变

Pactern Language 推出 0.1.0 开发者预览，这是一种面向 AI 编写后端组件的编程语言：开发者用 .pact.ptn 文件定义需求契约，智能体改动实现，工具链负责校验两者是否一致。它提供解释器、C 后端与 Wasm 执行，并用 Z3 验证无循环的纯函数片段，循环与递归暂不支持。当前存储为内存态，完整 LSP 扩展与外部 CI 激活尚未完成，智能体提效幅度也未测量。