Topaz Playground

Type-checks and runs in your browser. Nothing is sent to a server.

Topaz playground. Python backend proof covers 5939 ATLAS cases plus 924 core fixtures.

single file

function greet(name: string) -> string {
  return "Hello, {name}!"
}

print(greet("Topaz"))

let nums = [1, 2, 3, 4]
let total = reduce(nums, 0, (a, b) => a + b)
print("sum = {total}")

Run a program to see its output here.