TL;DR

  • Chelis는 에이전트가 작성하고 사람이 감독하는 수치 계산 언어로, 텐서 차원과 정밀도를 타입에 담고 실행 전 속성을 검사함.
  • chelis check는 텐서의 차원·정밀도·효과·소유권을 검사하며, 이름이 일치하는 차원만 맞는 것으로 처리하고 명시적 형변환 없이는 f32와 f64를 혼합하지 않음.
  • chelis check는 오류 종류와 소스 위치를 JSON으로 반환하며, chelis tide mcp는 에이전트에 검사·평가·증명·구조 편집 도구를 제공함.
  • chelis prove는 타입 검사, SMT 솔버 또는 시드 기반 샘플링으로 @property 선언을 검사하며, Chelis로 작성된 별도 검사기와 Lean 4로 형식화된 핵심 미적분이 포함됨.
  • 읽기 쉬운 Surf 구문과 정규 형식인 Deep을 사용하고 C로 빌드하며, Reef 기반 셸은 수치 방법·데이터프레임·정량 금융을 다룸.

Chelis

  • Chelis는 에이전트가 코드를 작성하고 사람이 감독하는 수치 계산 언어임. 텐서는 이름이 붙은 차원과 정밀도를 타입에 포함하며, 증명 스택은 사용자가 선언한 속성을 검사함.
  • 예시 함수는 3개 f64 값으로 된 가중치 텐서와 크기 3×1인 f64 텐서를 곱한 뒤 첫 번째 차원을 합산해 포트폴리오 수익률을 계산함.
  • NumPy에서는 3×1 형태의 수익률이 세 가중치와 브로드캐스트되어 3×3 격자를 만들고, 합산 결과가 그럴듯하지만 잘못된 수치가 될 수 있음. Chelis의 검사는 실행 전에 같은 곱셈을 거부함.
  • 오류 보고서는 종류 DimensionMismatch, 메시지 tensor rank mismatch: 1 dims vs 2 dims, 심각도 0.8, 오프셋 94, 소스 구간 surf:94..103을 제시함.
  • 컴파일러는 실행 전에 텐서 모양, 정밀도, 효과, 소유권을 검사함. 차원은 이름으로 일치시키며, f32와 f64는 형변환 없이 혼합되지 않고, 입출력은 함수 효과에 표시되며, 난수 연산은 명시적 키를 받음.
  • chelis check는 오류 종류와 소스 구간을 JSON으로 반환하며, 동일한 입력에는 항상 동일한 답을 제공함. chelis tide mcp는 에이전트가 검사·평가·증명·구조 편집을 수행하는 MCP 도구를 제공함.
  • chelis prove는 @property 선언을 타입 검사, SMT 솔버 또는 시드 기반 샘플링으로 검사하며, 각 결과에 사용한 방법을 명시함.
  • Chelis로 작성된 두 번째 검사기가 컴파일러를 교차 검증하며, Chelis의 핵심 미적분은 Lean 4에서 기계적으로 형식화됨.
  • Surf (.ch)는 읽기 쉬운 구문이고, Deep (.dp)는 컴파일러와 에이전트가 사용하는 정규 형식임. 프로그램은 C로 빌드됨.
  • Reef로 설치하는 셸은 수치 방법용 Nautilus, 데이터프레임용 Coral, 정량 금융용 Shoals를 포함함.

릴리스 도구 체인 설치

  • Chelis 릴리스에는 도구 체인을 설치하고 프로젝트별 버전을 선택하는 chelisup이 포함됨. 공개 릴리스 다운로드에는 GitHub 토큰이 필요하지 않음.
  • 안내된 설치 절차는 gh auth login으로 인증한 뒤 Chelis-Lang/chelis 저장소에서 chelisup.sh를 내려받아 실행하는 방식임. 이어 릴리스 태그를 확인하고 앞의 v를 제거한 버전을 chelisup install에 전달한 다음 chelis --version으로 설치를 확인함.
  • 부트스트랩 스크립트는 chelisup을 설치하고, 다음 설치 명령은 컴파일러를 설치함. 릴리스 태그에는 앞에 v가 붙지만 chelisup install에는 X.Y.Z 형식의 버전을 전달함.
  • reef.toml이 있는 프로젝트에서는 빌드 전에 컴파일러 고정 버전에 해당하는 버전을 설치하고 chelis reef setup을 실행한 뒤 chelis reef build를 실행함. 설치 안내서에 프로젝트 작업 흐름이 설명됨.

시작 자료

  • Chelis Guide: 첫 프로그램, 명령줄 인터페이스(CLI), 속성, Reef.
  • Examples: 실행 가능한 Chelis 프로그램.
  • Language spec 및 정규 프로젝트 참조 문서.
  • Architecture: 컴파일러, 평가기, 코드 생성.
  • Contributor setup, contribution policy, maintainer guide, agent contract.

라이선스

  • MIT.

네이티브 프로그램 빌드

  • chelis build app.ch --output out/로 네이티브 프로그램을 빌드하고, 생성된 ./out/app을 실행함.
  • 빌드는 네이티브 컴파일러를 호출하고 해당 컴파일러에 포함된 런타임을 링크함. 정의만 포함된 모듈은 정적 라이브러리를 생성함.
  • 소스와 헤더는 계속 사용할 수 있으며, --emit-c는 소스만 생성하는 빌드에 사용됨.
  • CPU가 주요 승인 대상임. HIP와 Metal은 알려진 미비점이 있는 사전 공개 대상임.
  • 백엔드 안내서에 도구 요구 사항, 산출물 이름, 컴파일러 재정의, 라이브러리 링크 방법이 설명됨.