Anotações de Formato Inline

Em Lua, você usa tabelas como registros há bastante tempo: local user = {name = "Ana", age = 20}. Nada impede que você escreva um campo incorretamente, esqueça um campo ou armazene uma string onde deveria haver um número. Você só descobre isso quando o código é executado.

Luau permite descrever a estrutura de uma tabela desse tipo diretamente 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 chaves de string arbitrárias. Uma estrutura é mais precisa. Ela nomeia cada campo individualmente e atribui a cada campo seu próprio tipo.

Depois que a estrutura é declarada, o verificador de tipos confere a tabela com base nela enquanto você edita. Um campo ausente ou um tipo de valor incorreto é sinalizado antes mesmo de o 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 não adiciona nenhum comportamento em tempo de execução: a tabela é uma tabela Lua comum. Estruturas inline são perfeitas para estruturas pontuais que você não pretende reutilizar; na próxima lição, você dará um nome às estruturas.