Annotazioni inline delle forme

In Lua hai usato le tabelle come record già da molto tempo: local user = {name = "Ana", age = 20}. Nulla ti impedisce di scrivere male il nome di un campo, dimenticarne uno o memorizzare una stringa dove dovrebbe esserci un numero. Te ne accorgi solo quando il codice viene eseguito.

Luau ti permette di descrivere la forma di una tabella direttamente nella dichiarazione, elencando ogni campo e il suo tipo tra parentesi graffe:

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

Confrontala con i tipi di tabella che già conosci: {number} descrive un array e {[string]: number} descrive una mappa con chiavi stringa qualsiasi. Una forma è più precisa. Assegna un nome a ogni campo individualmente e specifica il tipo di ciascun campo.

Una volta dichiarata la forma, il controllo dei tipi verifica la tabella confrontandola con essa mentre modifichi il codice. Un campo mancante o un valore del tipo sbagliato viene segnalato prima ancora che il codice venga eseguito:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ errore di tipo: string non è number
}

Come sempre, l'annotazione non aggiunge alcun comportamento in fase di esecuzione: la tabella è una normale tabella Lua. Le forme inline sono perfette per strutture occasionali che non prevedi di riutilizzare; nella prossima lezione darai un nome alle forme.