토파즈는 curl -fsSL https://topaz.ooo/install.sh | sh 한 줄로 설치하거나 npm install -g topaz-lang으로 설치할 수 있습니다. 브라우저 플레이그라운드에서 바로 써볼 수도 있습니다.
렉서 & 레이아웃사용 가능Unicode-first 렉서, 레이아웃 정규화기. 변경마다 적합성 스위트 그린.
파서사용 가능컴파일러 코퍼스와 이 사이트의 모든 펜스가 지속적으로 파스 검증됩니다.
모듈 리졸버사용 가능멀티 파일 유닛의 경로, 충돌, 순환, 가시성, 초기화 순서를 TPZ3xxx 픽스처로 고정합니다.
인터프리터사용 가능기준 의미론 구현입니다. 트랜스크립트를 고정한 실행 코퍼스와 이 사이트의 모든 실행 가능 샘플이 통과합니다.
타입 체커사용 가능topaz check가 기본으로 유닛 전체를 타이핑하고, 런타임 "동적 가드"(TPZ5xxx)가 정적 진단으로 승격됩니다.
Rust 백엔드사용 가능topaz emit / topaz build가 프로그램을 자체 완결 네이티브 바이너리로 낮춤. 인터프리터와 차등 테스트 완료.
Python 백엔드사용 가능서버와 데이터 설계 검증을 위한 백엔드입니다. 툴체인은 program.py와 topaz_py_rt.py를 만들고, 측정 표면 증거는 생성된 Python을 인터프리터 및 Rust 경로와 비교합니다. 검증된 범위에는 런타임 가드와 모듈 초기화도 포함됩니다.
배포사용 가능curl -fsSL https://topaz.ooo/install.sh | sh 또는 npm install -g topaz-lang으로 설치할 수 있습니다. macOS, Linux, Windows용 미리 빌드된 바이너리를 제공합니다. run/check/emit은 단독 실행되고 topaz build는 Rust 툴체인이 필요합니다.
언어 기능사용 가능사용자 enum (페이로드 변형과 망라적 match를 갖춘 명목 닫힌 합), 접근자 메서드를 갖춘 JSON.parse, 고차 함수 (Array/Option/Result의 map/filter/reduce/flatMap), 기대 타입 추론. 인터프리터와 방출 모두 지원합니다.
이 사이트는 어떻게 검증되는가
정식 topaz 펜스는 파서 검사를 거치고(이 사이트에서 530개), 실행 가능으로 표시된 예제(40개)는 툴체인에서 실행되어 출력이 바이트 단위로 고정되며, 화면에 보이는 출력 블록(24개)은 캡처된 실행 결과와 일치해야 합니다. 비공개 작업 원장은 비공개로 유지됩니다. 이 페이지는 개수, 분류, 제외 목록(현재 0건)을 공개합니다.
Python 백엔드 측정 표면 증거
Python 백엔드의 공개 측정 표면 증거는 이번 릴리스에서 측정한 결과를 그대로 기록합니다. ATLAS line-breaker 5939개, Python core 772개, 모듈 116개, 서버 계약 4개를 고정하고, 각 항목에서 interpreter, boxed-rust, generated-python를 비교합니다. 측정된 스위프는 모두 6870건이고 조용한 불일치는 0건입니다. 지원되지 않는 27건은 조용히 어긋나는 대신 명확한 에러로 실행을 거절합니다. 이것은 측정 표면에 대한 detection receipt이지, accepted surface 전체의 완전한 패리티 주장이 아닙니다. 이번 릴리스에서 제외된 항목은 compression codecs, live Wasm extern execution, physical multi-file Python package layout, float extern replay입니다.
현재 공개 릴리스는 Topaz v5.5입니다.