Первая проверенная и запущенная программа

Prerequisite

Use a Topaz distribution that provides language mode 5.21 and the default SELF compiler.

1. Write a function

Save the source in the check example below as first-program.tpz. The function returns a greeting. The final call sends it to std.io.writeLine. This example uses an explicit output operation; it does not depend on automatic printing of a top-level value.

2. Check the program

Ссылка

Check the first program

Ссылка

check · checking · Проверка · Пройдено

first-program.tpzCheck the first programОткрыть песочницу →

import std.io
function greet(name: string) -> string {
return "Hello, {name}!"
}
io.writeLine(greet("Topaz"))

Зафиксированный выводКод завершения 0

first-program.tpz: types-ok (2 modules)
first-program.tpz: resolve-ok (2 modules)

$ topaz check first-program.tpz --compiler self · Зафиксировано с Топазом 5.21.3

Ожидаемый результат

Проверка принимает программу. Код завершения 0.

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T04:37:26.2102809Z · checking · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

first-program.tpz: types-ok (2 modules)
first-program.tpz: resolve-ok (2 modules)

Нет вывода ошибок.

Пройдено · expected 0; observed 0

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T13:40:27.7737018Z · checking · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

first-program.tpz: types-ok (2 modules)
first-program.tpz: resolve-ok (2 modules)

Нет вывода ошибок.

Пройдено · expected 0; observed 0

Expected result: checking succeeds. This step checks the program without running its output operation. If checking fails, follow the reported diagnostic code to Diagnostics. The check reference defines input, options, and output channels.

3. Run the program

Ссылка

Run the first program

Ссылка

run · runtime · Проверка · Пройдено

first-program.tpzRun the first programОткрыть песочницу →

import std.io
function greet(name: string) -> string {
return "Hello, {name}!"
}
io.writeLine(greet("Topaz"))

Зафиксированный выводКод завершения 0

Hello, Topaz!

$ topaz run first-program.tpz --compiler self · Зафиксировано с Топазом 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

Hello, Topaz!

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T04:37:26.2811132Z · runtime · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

Hello, Topaz!

Нет вывода ошибок.

Пройдено · expected 0; observed 0
Пройдено · stdout matches the authored expectation
Пройдено · stderr matches the authored expectation

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T13:40:27.8470673Z · runtime · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

Hello, Topaz!

Нет вывода ошибок.

Пройдено · expected 0; observed 0
Пройдено · stdout matches the authored expectation
Пройдено · stderr matches the authored expectation

The run command checks the selected unit before execution. The expected program output is shown above; an observation is displayed after the exact source is executed.

Verification

Ссылка

Public Topaz 5.21.3 checked and ran this program successfully in Docs run 42224592687, attempt 2. Both commands exited with code 0, and run printed the expected greeting. The new receipts preserve the observed output from the unchanged fixture and invocation. The earlier receipts remain available.