- First checked and executed programWrite one function, check its types, and run it to print a line.
- Language overviewSee how Topaz connects everyday programming, failure handling, concurrent work, and typesetting with explicit inputs.
- Data and patternsBuild two ticket values and use an enum pattern to print their states.
- Generic functions and protocolsReuse one function for two record types, then correct a repeated protocol bound.
- Modules and the standard libraryMove a greeting into another source file, import it, and print through the standard library.
- Diagnose and testUse a diagnostic code, explain the failure, repair the program, and test the result.
Tour
Learn Topaz one example at a time.