Anotações de Formato Inline

Em Lua você vem usando tabelas como registros há muito tempo: local user = {name = "Ana", age = 20}. Nada impede que você erre o nome de um campo, esqueça um ou armazene uma string onde deveria ser um número — você só descobre quando o código é executado.

O Luau permite descrever o formato (shape) de tal tabela logo na declaração, listando cada campo e seu tipo entre chaves:

local user: {name: string, age: number} = {
    name = "Ana",
    age = 20,
}

Compare isso com os tipos de tabela que você já conhece: {number} descreve um array e {[string]: number} descreve um mapa com quaisquer chaves do tipo string. Um shape é mais preciso — ele nomeia cada campo individualmente e dá a cada campo seu próprio tipo.

Assim que o formato é declarado, o verificador de tipos (type checker) valida a tabela em relação a ele enquanto você edita. Um campo ausente ou um tipo de valor incorreto é sinalizado antes mesmo do código ser executado:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ erro de tipo: string não é um number
}

Como sempre, a anotação (annotation) não adiciona nenhum comportamento em tempo de execução — a tabela é uma tabela Lua comum. Formatos inline são perfeitos para estruturas pontuais que você não planeja reutilizar; na próxima lição você dará um nome aos formatos (shapes).