데이터와 패턴

Prerequisite

Use Topaz 5.21.3 with language mode 5.21 and the SELF compiler. Complete First checked and executed program first.

1. Build a value and handle its cases

Save the source as data-and-patterns.tpz. Ticket has named fields and a Status value. Construct a variant with Status.Open(). Match it with case Open().

2. Check the program

링크

Check the ticket program

링크

check · checking · 검증 · 통과

data-and-patterns.tpzCheck the ticket program플레이그라운드 열기 →

import std.io
enum Status { Open, Closed }
record Ticket { title: string, status: Status }
function describe(ticket: Ticket) -> string {
let state = match (ticket.status) {
case Open() => "open"
case Closed() => "closed"
}
return "{ticket.title}: {state}"
}
let first = Ticket { title: "Docs", status: Status.Open() }
let second = Ticket { title: "Tests", status: Status.Closed() }
io.writeLine(describe(first))
io.writeLine(describe(second))

기록된 출력종료 코드 0

data-and-patterns.tpz: types-ok (2 modules)
data-and-patterns.tpz: resolve-ok (2 modules)

$ topaz check data-and-patterns.tpz --compiler self · 기록에 사용한 토파즈 5.21.3

기대 결과

검사가 프로그램을 받아들입니다. 종료 코드 0.

관측한 단언 · 통과 · 5.21.3

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

종료 코드 0.

관측한 표준 출력

data-and-patterns.tpz: types-ok (2 modules)
data-and-patterns.tpz: resolve-ok (2 modules)

표준 오류 출력 없음.

통과 · expected 0; observed 0

Expect exit 0. If checking fails, follow the reported diagnostic, correct the source, and check again.

3. Run both cases

링크

Print both ticket states

링크

run · runtime · 검증 · 통과

data-and-patterns.tpzPrint both ticket states플레이그라운드 열기 →

import std.io
enum Status { Open, Closed }
record Ticket { title: string, status: Status }
function describe(ticket: Ticket) -> string {
let state = match (ticket.status) {
case Open() => "open"
case Closed() => "closed"
}
return "{ticket.title}: {state}"
}
let first = Ticket { title: "Docs", status: Status.Open() }
let second = Ticket { title: "Tests", status: Status.Closed() }
io.writeLine(describe(first))
io.writeLine(describe(second))

기록된 출력종료 코드 0

Docs: open
Tests: closed

$ topaz run data-and-patterns.tpz --compiler self · 기록에 사용한 토파즈 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

Docs: open
Tests: closed

관측한 단언 · 통과 · 5.21.3

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

종료 코드 0.

관측한 표준 출력

Docs: open
Tests: closed

표준 오류 출력 없음.

통과 · expected 0; observed 0
통과 · stdout matches the authored expectation
통과 · stderr matches the authored expectation

The two calls exercise both cases used by describe.

Verification

링크

Public Topaz 5.21.3 checked and ran this program successfully in Docs run 42224592687, attempt 2. The recorded exit codes and output were compared with this page's current product assertions. The fixture files, invocation and expected output were unchanged.

Records, enums and newtypes defines the declarations used here. Pattern matching defines variant patterns, case selection and match coverage.