richiemcilroy/Tov

해결하는 문제

Tov는 AI 코딩 에이전트를 위해 특별히 설계된 프로그래밍 언어입니다. LLM이 작성하기 쉬운 TypeScript와 유사한 구문을 제공하고, 오류 발생 시 기계가 읽고 실행할 수 있는 수정안을 컴파일러가 출력함으로써 에이전트가 복잡한 언어 동작과 디버깅을 처리할 때 겪는 어려움을 해결합니다.

작동 방식

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 키워드를 통한 명시적 오류 처리를 요구하며, 값 기반의 배열과 레코드를 사용합니다.