Verified examples

needs console
name = "Zebvix"
task welcome(user: text):
    show "Welcome " + user
welcome(name)
total = 0
repeat value in [10, 20, 30]:
    total = total + value
show total

task test_total():
    assert(1 + 2 * 3 == 7)

Welcome Zebvix
60

shape Account:
    name: text
    balance: i64

task multiply(a: i64, b: i64) gives i64:
    give a * b

task safe_divide(a: i64, b: i64) gives i64:
    attempt:
        give a / b
    otherwise problem:
        show problem.kind
        give 0

fixed account = Account("Ada", 120)
items: List[i64] = []
repeat i in 1..4:
    items = append(items, multiply(i, 2))
counts: Map[text, i64] = {"items": len(items)}
when account.balance > counts["items"]:
    show account.name
otherwise:
    show "empty"
show items[2]
show safe_divide(10, 0)

task test_collections():
    assert({"a": 3}["a"] == [3][0])

Ada
6
DivisionByZero
0

task consume(value: i64) gives i64:
    give move_value(value) + 1

fixed original = 40
next = move_value(original)
show consume(move_value(next)) + 1
next = 7
show next

task test_owned_scalar():
    value = 41
    moved = move_value(value)
    assert(consume(move_value(moved)) == 42)

42
7

task square(value: i64) gives i64:
    give value * value

inputs = [3, 1, 4, 2]
results = parallel_map("square", move_value(inputs), 2)
repeat result in results:
    show result

task test_parallel_values():
    values = parallel_map("square", [3, 1, 4, 2], 2)
    assert(values[0] == 9)
    assert(values[1] == 1)
    assert(values[2] == 16)
    assert(values[3] == 4)

9
1
16
4

shape Row:
    label: text
    values: List[i64]
choice Answer:
    Ready(row: Row)
    Missing
task square(x: i64) gives i64:
    give x * x
rows: Map[text, List[Row]] = {}
values = parallel_map("square", [3, 2, 4], 2)
rows = put(rows, "numbers", [Row("native", move_value(values))])
result = Answer.Ready(rows["numbers"][0])
choose result:
    case Missing:
        show "missing"
    case Ready(row):
        show row.label
        repeat value in row.values:
            show value

native
9
4
16