calor

Calor는 AI 코딩 에이전트를 위해 특별히 설계된 프로그래밍 언어로, C# 방출을 통해 .NET으로 컴파일됩니다. 전통적인 언어들은 인간을 위해 만들어져, AI 에이전트가 부수 효과, 계약, 그리고 범위 경계와 같은 의미론적 의미를 암시적인 구문에서 추론하도록 강요합니다. Calor는 이러한 불일치를 제거하고, 이러한 요소들을 언어 자체에서 명시적으로 만듭니다. 핵심 원칙에는 명시적인 효과 선언(예: §E{cw, fs:r, net:rw}), 일급 전제 조건과 후제 조건(§Q 및 §S), 리팩토링 전반에 걸친 정확한 참조를 위한 선택적 안정적인 식별자, 토큰 비용을 줄이는 들여쓰기 기반 블록, 그리고 기계 판독 가능한 의미론을 위한 Lisp 스타일 연산자가 포함됩니다. 이 설계는 원시 토큰 효율성을 희생하여 의미론적 명확성을 얻어, 에이전트가 코드 동작을 추론하고, 계약 위반을 감지하고, 깊은 파싱 없이도 정확한 편집을 수행할 수 있도록 합니다. Calor는 진단, 정의로 이동, 참조, 이름 변경, 서식 지정, 그리고 의미론적 토큰을 지원하는 일급 언어 서버(LSP)와 함께 제공됩니다. 또한 컴파일, 검증, 코드 탐색, 분석, 마이그레이션, 린팅, 그리고 구문 도움말을 위한 19개의 도구를 노출하는 MCP(모델 컨텍스트 프로토콜) 서버를 포함하여, AI 에이전트가 컴파일러와 직접 상호 작용할 수 있도록 합니다. Claude Code, OpenAI Codex CLI, Google Gemini CLI, 그리고 GitHub Copilot에 대한 빠른 시작 통합이 제공되며, 프로젝트 지침과 MCP 설정이 자동으로 구성됩니다. 이 프로젝트는 특히 벤치마킹, 파서 개선, 그리고 문서화를 위한 기여를 환영합니다.