Topaz v5.6 — единый checked toolchain с несколькими потребителями одной resolved program. Parsing, whole-unit resolution и static checking образуют общий вход; выполнение и emission начинаются после него, кроме явно выбранного unchecked developer path.
Контракт и компоненты
Driver включает parser/diagnostics, module resolver, type checker, reference interpreter, deterministic TestHost, boxed/native Rust lowerers, Python lowerer, web/web-worker builders, formatter, LSP, package resolver, генерацию документации, migration и refactoring. SPEC задаёт source meaning; backend может менять representation только при сохранении observable behavior.
Рабочий процесс
Используйте check как дешёвый whole-unit gate, run для reference execution, test для изолированного TestHost, build для целевого артефакта. emit показывает Rust source. Без entry и с topaz.toml под --root включается package mode; --locked требует совпадения lockfile до compilation.
Текущая поддержка
Текущие инструменты сообщают версию компилятора и среды выполнения 5.6.0 и режим topaz-5.6. Интерпретатор, Rust, Python, пакеты и web-цели начинают работу с одной проверенной программы.
Границы и ограничения
Нативный build вызывает установленный Rust, а run, check и emit обходятся без него. Web-цели и песочница компилятора создают разные результаты. --unchecked предназначен только для исследования компилятора, а не для обычной сборки приложений.
Справочник команд
topaz check main.tpz
topaz run main.tpz
topaz build main.tpz --out-dir build
topaz version --verbose