Topaz устанавливается одной строкой: curl -fsSL https://topaz.ooo/install.sh | sh, или npm install -g topaz-lang. Также можно попробовать его в браузерном playground.
Лексер и layoutдоступноUnicode-first лексер, нормализатор layout; наборы соответствия зелёные при каждом изменении.
ПарсердоступноКорпус компилятора и каждый фрагмент этого сайта проверяются непрерывно.
Резолвер модулейдоступноМногофайловые юниты: пути, коллизии, циклы, видимость, порядок инициализации (TPZ3xxx закреплены фикстурами).
ИнтерпретатордоступноЭталонная семантика: корпус исполнения с зафиксированными транскриптами. Через него проходит каждый исполняемый образец сайта.
Проверка типовдоступноtopaz check по умолчанию типизирует весь юнит. Рантайм-«страховки» (TPZ5xxx) становятся статической диагностикой.
Rust backendдоступноtopaz emit / topaz build понижают программу до самодостаточного нативного бинарника, дифференциально протестировано с интерпретатором.
Python backendдоступноBackend для проверки серверного и data-дизайна. Тулчейн записывает program.py и topaz_py_rt.py, а доказательство измеренной поверхности сравнивает сгенерированный Python с интерпретатором и путём Rust на проверенном наборе, включая runtime guards и инициализацию модулей там, где они покрыты.
ДистрибуциядоступноУстановка через 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 с методами-аксессорами, функции высшего порядка (map/filter/reduce/flatMap для Array/Option/Result) и вывод ожидаемого типа. Поддержано и интерпретатором, и эмиссией.
Как проверяется этот сайт
Канонические фрагменты topaz проходят проверку парсером (530 на этом сайте); примеры, помеченные как исполняемые (40), выполняются тулчейном, и их вывод зафиксирован байт в байт, а каждый показанный блок вывода (24) обязан совпадать с записью реального запуска. Закрытый рабочий журнал остаётся закрытым. Здесь публикуются количества, категории и исключения (сейчас их нет).
Доказательство измеренной поверхности Python backend
Публичное доказательство измеренной поверхности фиксирует релизные свидетельства для Python backend. Оно закрепляет 5939 ATLAS line-breaker cases, 772 Python core fixtures, 116 module fixtures и 4 server-contract cases, сравнивая 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.