Первая программа

Создайте файл .tpz, проверьте и запустите его. Затем исправьте ошибку типа в месте, указанном в сообщении.

Подготовьте локальный терминал и текстовый редактор. Откройте пустую рабочую папку и сохраняйте файлы ниже в ней. Выбрать начальную точку поможет учебный маршрут.

Установите Топаз

Выберите один способ установки для своей системы.

В macOS или Linux выполните следующую команду.

curl -fsSL https://topaz.ooo/install.sh | sh

В Windows используйте PowerShell.

irm https://topaz.ooo/install.ps1 | iex

Если Node уже установлен, можно воспользоваться npm.

npm install -g topaz-lang

Каждый способ загружает сжатую программу для вашей системы. Установщик сверяет загруженный файл и распакованную программу с контрольными суммами SHA-256, опубликованными для этого выпуска.

После установки откройте новый терминал и убедитесь, что он находит команду Топаза.

topaz version

Пример вывода установки версии 5.20.4.

Topaz 5.20.4

После слова Topaz выводится номер установленной версии. Запишите эту версию при проверке установки или сообщении об ошибке. Если команда не найдена, откройте терминал заново и проверьте, есть ли папка установки в PATH.

Установленной команды Топаза достаточно для проверки и запуска этого файла. Для нативной сборки также нужны Rust и Cargo для целевой платформы. Вы воспользуетесь ими в разделе Первое приложение.

Напишите и запустите учебный план

Сохраните этот код в файле first-program.tpz в рабочей папке.

let тема = "Topaz basics"
let минуты: int = 25
print("{тема}: {минуты} minutes")

В этой папке проверьте файл и запустите его.

topaz check first-program.tpz
topaz run first-program.tpz

check сообщает о проверке типов и имён, не выполняя файл.

first-program.tpz: types-ok (1 module)
first-program.tpz: resolve-ok (1 module)

run проверяет файл, а затем печатает результат.

Topaz basics: 25 minutes

Первый let даёт имя строке, поэтому средство проверки выводит её тип. Вторая строка задаёт для минуты целочисленный тип int. print подставляет значения из {...} в вывод.

Прочитайте и исправьте ошибку

Создайте второй файл first-program-error.tpz с намеренной ошибкой типа.

let тема = "Topaz basics"
let минуты: int = "25"
print("{тема}: {минуты} minutes")

Проверьте второй файл.

topaz check first-program-error.tpz

Средство проверки завершается с ошибкой. Оно показывает ожидаемый тип, фактический тип и место исправления.

error[TPZ5001]: expected `int`, found `string`
 --> first-program-error.tpz:2:19
  |
2 | let минуты: int = "25"
  |                   ^^^^

first-program-error.tpz: 1 type diagnostic

В файле first-program-error.tpz замените выделенное "25" на 25. Кавычки делали это значение строкой. Теперь topaz check first-program-error.tpz завершается успешно, а topaz run first-program-error.tpz печатает Topaz basics: 25 minutes.

Выберите check или run

Используйте topaz check, чтобы находить ошибки типов и имён при редактировании без запуска программы. Используйте topaz run для тех же проверок с последующим выполнением. Проверяйте вывод тестами, чтобы убедиться в правильности логики.

Попробуйте

Замените тема на "Functions", а минуты на 30. Что выведет программа?

Настройте редактор

В VS Code или редакторе с поддержкой Open VSX установите официальное расширение Топаза из Visual Studio Marketplace или Open VSX Registry. Оно распознаёт файлы .tpz, добавляет значок Топаза и подсвечивает синтаксис.

Расширение запускает установленный topaz lsp, чтобы показывать ошибки в редакторе. Компилятор устанавливается отдельно. Убедитесь, что редактор находит его через PATH, или задайте путь в topaz.executablePath. Можно также использовать topaz check в терминале.

Продолжайте, когда программа работает

Вы готовы двигаться дальше, когда исправленный файл проходит topaz check и выводит ожидаемую строку через topaz run.

Переходите к разделу Значения и функции. Держите Краткий обзор синтаксиса под рукой для поиска нужной записи.