해석기는 Topaz 프로그램의 기준 실행 경로입니다. Rust와 Python 백엔드는 공통 검사를 통과한 프로그램을 실행 가능한 산출물로 바꿉니다.
기본 규칙
run은 해석기를 사용합니다. Rust 백엔드는 박싱된 표현을 기본으로 사용하고 안전하게 증명된 일부 스칼라 연산을 네이티브 형태로 최적화합니다. Python 백엔드는 program.py와 필요한 런타임 파일을 만듭니다.
사용 방법
개발 중에는 check 뒤 run으로 결과를 확인하세요. 네이티브 파일이 필요하면 Rust, Python 배포가 필요하면 --target python을 선택합니다. 산출물은 해당 타겟의 일반 빌드·배포 절차로 다룰 수 있습니다.
현재 지원
Topaz v5.7은 현재 매뉴얼에 적힌 주요 언어 기능과 표준 라이브러리를 해석기·Rust·Python에서 공통으로 다룹니다. 특정 기능이 대상에서 지원되지 않으면 다른 결과를 추측해 실행하지 않고 컴파일 단계에서 거부합니다.
Lispex 통합 아티팩트
하나의 정본 Lispex-in-Topaz 소스를 해석기와 생성 Rust와 생성 Python과 Web 경로가 실행합니다. 이 구현은 자체 UTF-8 reader와 normalizer를 갖추고 어휘 상태와 수치 연산과 꼬리 호출과 제어 전달과 primitive dispatch에 하나의 명시적 machine을 사용합니다. 지원되는 모든 guest 호출은 공통 dispatcher를 지나며 호스트 apply와 eval과 control과 callback 우회는 지원 경로에 없습니다.
내부 통합 증거는 네 경로의 한정된 검사 표면을 기록합니다. LIT는 현재 primitive capability 205행 가운데 84행과 guest-calling 18행 가운데 6행을 지원하며 미지원 행은 명시적으로 실패합니다. 네 경로는 하나의 Topaz 작성 LIT 소스에서 나온 변형이지 독립 구현이 아니며 소스 독립성을 주장하지 않습니다. 통합 아티팩트는 설치 파일이나 언어 표면에 포함되지 않습니다.
제한 사항
백엔드가 여러 개라는 이유만으로 모든 프로그램의 완전한 동치를 보장하지는 않습니다. 동시 작업의 세부 실행 순서처럼 언어가 고정하지 않은 것은 백엔드마다 다를 수 있습니다. 생성된 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