해석기는 Topaz 프로그램의 기준 실행 경로입니다. Rust와 Python 백엔드는 공통 검사를 통과한 프로그램을 실행 가능한 산출물로 바꿉니다.
기본 규칙
run은 해석기를 사용합니다. Rust 백엔드는 박싱된 표현을 기본으로 사용하고 안전하게 증명된 일부 스칼라 연산을 네이티브 형태로 최적화합니다. Python 백엔드는 program.py와 필요한 런타임 파일을 만듭니다.
사용 방법
개발 중에는 check 뒤 run으로 결과를 확인하세요. 네이티브 파일이 필요하면 Rust, Python 배포가 필요하면 --target python을 선택합니다. 산출물은 해당 타겟의 일반 빌드·배포 절차로 다룰 수 있습니다.
현재 지원
Topaz v5.6은 현재 매뉴얼에 적힌 주요 언어 기능과 표준 라이브러리를 해석기·Rust·Python에서 공통으로 다룹니다. 특정 기능이 대상에서 지원되지 않으면 다른 결과를 추측해 실행하지 않고 컴파일 단계에서 거부합니다.
제한 사항
백엔드가 여러 개라는 이유만으로 모든 프로그램의 완전한 동치를 보장하지는 않습니다. 동시 작업의 세부 실행 순서처럼 언어가 고정하지 않은 것은 백엔드마다 다를 수 있습니다. 생성된 Rust와 Python 내부 구조는 공개 API로 보장하지 않습니다.
명령 예시
topaz run main.tpz
topaz emit main.tpz --out-dir rust-out
topaz build main.tpz --backend native --out-dir native-out
topaz build main.tpz --target python --out-dir python-out