richiemcilroy/Tov

解决的问题

Tov 是一种专为 AI 编程代理所设计的编程语言。它通过提供类似 TypeScript 且更易于 LLM 编写的语法，以及在发生错误时提供机器可读、可执行的修复建议的编译器，解决了代理在处理复杂语言行为和调试时的困难。

运作方式

Tov 使用类似 TypeScript 的语法，但移除了模棱两可或“难以推理”的功能（例如 any、null 和隐式类型转换）。它编译为原生二进制文件以实现高性能。对于代理而言，编译器可以通过 tov check --json 输出 JSON，其中包含修复类型错误所需的精确代码编辑，让代理能够自动应用修复。

它保持与 Bun 和 Node.js 生态系统的兼容性，允许使用 npm 包和 Bun 的服务器 API。使用 npm 包的程序通过嵌入式 JavaScriptCore 引擎执行，而纯 Tov 程序则编译为精简的原生二进制文件。

目标对象

• AI 编程代理及其开发者。
• 寻求比 Bun 或 Node.js 更高性能且具备更强类型安全性的开发者。
• 希望在拥有 TypeScript 语法熟悉度的同时，获得原生二进制文件速度（可媲美或超越 Rust）的用户。

特色亮点

• 以代理为中心的设计：提供机器可读的 JSON 错误修复，代理可直接应用到源代码中。
• 高性能：基准测试显示其执行速度和内存使用量可与 C 和 Rust 竞争甚至更优。
• TypeScript 兼容性：支持 Bun/Node API 和 npm 包，现有的 Bun 应用程序只需极少变更即可执行。
• 严格的类型系统：消除了 null 和 any，要求通过 try 关键字进行明确的错误处理，并使用基于值的数组和记录。