Records anônimos independentes

Sem um tipo nominal esperado, .{ campos } infere um record anônimo com tipos exatos e acesso normal aos campos. Um struct esperado ainda seleciona construção nominal contextual. Um tipo esperado inválido gera diagnóstico, sem virar silenciosamente um tipo estrutural.

Exemplo completo

// Anonymous records keep the exact type of each field.

// A nominal annotation still selects that type's ordinary constructor.

fn main() {
    let count = 3
    let summary = .{ count, total: 12 }
    let next = summary with { total: 15 }
    print(summary.count, summary.total)
    print(next.total)
    // expected: 3 12

    // expected: 15

}
main()

Regras e comportamento

Records, maps e atualizações · Documentação

A partir de um checkout do repositório:

zolo examples/features/06-data-structures/24-anonymous-records.zolo