현재 매뉴얼은 오늘 작성해야 할 Topaz 언어를 설명합니다. 예제는 검사기가 받는 것과 같은 문법을 사용하며, 지원하지 않는 형식은 추측해 실행하지 않고 명확한 오류로 보고합니다.
언어 정의
언어 레퍼런스는 문법, 타입, 평가 순서, 오류, 모듈, 표준 라이브러리를 정의합니다. 각 페이지의 covers 메타데이터는 문서 동기화를 돕지만, 독자가 내부 설계 문서를 읽어야 언어를 이해할 수 있는 구조는 아닙니다.
프로그램 검사
정적 검사는 topaz check, 직접 실행은 topaz run을 사용합니다. 중요한 프로그램은 출력, 오류 진단, 파일 변화, 종료 코드를 테스트로 남겨 기대 동작을 고정하세요. 배포 아티팩트가 필요하면 해당 환경에 문서화된 Rust·Python·web 타겟을 빌드합니다.
실행 대상 간 호환성
지원하는 실행 대상은 각 대상이 받아들이는 언어 기능에 대해 직접 실행과 비교합니다. 기능을 보존할 수 없는 대상은 빌드를 명확히 거부해야 합니다. 동시 작업의 세부 순서처럼 언어가 정하지 않은 동작, 성능, 호스트 내부 표현, 생성 코드 구조는 호환성에 포함되지 않습니다. 현재 대상과 제한은 도구 모음 상태에서 확인하세요.
Lispex 통합 증거
저장소는 Topaz로 작성한 Lispex 인터프리터를 까다로운 교차 타겟 프로그램으로도 사용합니다. 이는 통합 증거이지 별도의 Topaz 제품이나 언어 릴리스가 아닙니다.
구현 단계 검사
| 구현 경계 | 실행·재생 증거 | 검사기가 거부한 mutation |
|---|---|---|
| 어휘·수치·꼬리 machine과 self·mutual·apply 재귀 100,000단계 및 최대 continuation 깊이 3·3·4 | 66사례, 실행 396회, 재생 검사 198건, 3호스트 일치 66건 | 17종 |
| 통합 제어 전달 | 26사례, 실행 156회, 재생 검사 78건, 3호스트 일치 26건 | 23종 |
| 버전된 primitive 기반과 공통 guest 호출 dispatcher | 40사례, 실행 240회, 재생 검사 120건, 3호스트 일치 40건, 프로필 비교 200건 | 32종 |
| 한정된 명시 스택을 사용하는 독립 raw-byte UTF-8 reader·normalizer | 64사례, 실행 384회, 재생 검사 192건, 3호스트 일치 64건, projection 검증 192건, 프로필 비교 320건 | 66종 중 결과 46·projection 20 |
| kernel producer와 호스트 apply/eval/control 우회가 없는 소스 전용 백엔드 경로 | 144사례, 실행 864회, 재생 검사 432건, 3호스트 일치 144건, 프로필 비교 720건 | 49종 |
이 수치는 단계별 구현 표면이며 서로 더해 더 큰 언어 적합성 분모로 해석하지 않습니다.
| 측정 표면 | 정확한 인벤토리 | 기록된 결과 |
|---|---|---|
| 전체 3호스트 LIT 구성 | 해석기와 생성 Rust와 생성 Python의 144사례 | 새 실행 864회와 재생 검사 432건과 3호스트 완전 바이트 일치 144건과 호스트 우회 0건 |
| LIT 4호스트 통합 기록 | 하나의 정본 소스를 해석기와 생성 Rust와 생성 Python과 Web에서 실행 | 내부 증거가 한정된 4호스트 검사 표면을 기록함 |
| primitive capability 경계 | 전체 205행 | 84행 지원 중 결정적 위임 31행과 machine 구현 53행을 포함하고 121행은 명시적으로 실패하며 guest-calling 18행 가운데 6행 지원 |
| Lispex v1.5 공동 관측 | Rust와 LIL과 설치 LIT 경로 하나를 144사례에서 비교 | 실행 432회와 전체 구현 계보 일치 59사례와 쌍 일치 253건 및 쌍 차이 179건을 기록하고 Rust/LIL 61/83과 Rust/LIT 65/79와 LIL/LIT 127/17을 보존 |
네 Topaz 경로는 하나의 정본 LIT 소스에서 나온 호스트 변형이지 독립 구현이 아니며 이 문서는 LIT 소스 독립성을 주장하지 않습니다. 공동 관측은 선언된 사례에 한정되고 측정된 차이를 보존하며 전체 언어 의미 동등성을 세우지 않습니다. 통합 기록은 내부 증거로 남으며 공개 Topaz 백엔드가 아닙니다.
버전 경계
이 매뉴얼은 현재 언어 정책을 따릅니다. 설치, 패키지, 생성 아티팩트, 이전 작업에 버전이 중요할 때는 번호를 명시합니다. 현재 정식 언어선은 v5.7이며 자세한 이전 문서는 클래식에 남아 있습니다.
기본 검사
topaz check main.tpz
topaz run main.tpz
topaz build main.tpz --out-dir build