O que a linguagem garante

adopt Arcane.Estrutura as Est

bloco := Est.bloco(16)

// O limite e conferido — e o erro tem NOME, e nao um valor de lixo.
monitor:
    Cabecalho := Est.definir("Cabecalho", [["a", "u64"], ["b", "u64"],
        ["c", "u64"]], ordem := "rede")
    Cabecalho.ler(bloco)
    assert no
handle BufferOverflowError as e:
    out "recusado: o registro nao cabe no bloco"

// E o ponteiro nulo tambem:
p := Est.nulo()
monitor:
    p.ler()
    assert no
handle NullPointerError as e:
    out "recusado: ponteiro nulo"

// O refinamento vale em TODA fronteira — declaracao, parametro,
// retorno e campo. Um tipo que so valesse na criacao seria uma
// sugestao, e nao um tipo.
type Positivo := Integer where valor bigger 0

action dividir(total: Integer, partes: Positivo) -> Integer:
    yield total ~/ partes

assert dividir(10, 2) is 5

monitor:
    dividir(10, 0)
    assert no
handle Error as e:
    out "recusado na fronteira: 0 nao e Positivo"

// E o tipo OPACO e o que impede confundir dois textos. A regra
// vale na CRIACAO, entao um valor invalido nunca existe:
opaque type Cpf := String where len(valor) is 11

cpf := Cpf("12345678909")
assert cpf isnt void

monitor:
    Cpf("123")
    assert no
handle Error as e:
    out "recusado: um Cpf tem 11 digitos"

out "o tipo opaco separa dois textos que parecem iguais"

v := {"nome": "Ana"}

// '??' da o padrao quando o valor e void.
assert (v["idade"] ?? 0) is 0

// '?.' para a cadeia em vez de levantar.
endereco := void
assert endereco?.cidade is void

// E a distincao que o analisador conhece: depois de conferir,
// o tipo deixa de incluir void.
given v["nome"] isnt void:
    assert len(v["nome"]) is 3

out "ausencia tratada, e nao adivinhada"

record Permissao:
    papel: String
    acao: String

p := Permissao("editor", "escrever")

// Conferido uma vez, vale para sempre: nada muda o objeto depois.
monitor:
    p.papel := "admin"
    assert no
handle Error as e:
    out "recusado: record e imutavel"

// 'with' devolve um NOVO — o original continua o que era.
elevada := p with {"papel": "admin"}
assert p.papel is "editor"
assert elevada.papel is "admin"