Anotaciones de forma en línea

En Lua llevas mucho tiempo usando tablas como registros: local user = {name = "Ana", age = 20}. Nada te impide escribir mal el nombre de un campo, olvidarte de uno o almacenar una cadena donde debería ir un número. Solo te enteras cuando se ejecuta el código.

Luau te permite describir la forma de una tabla de este tipo directamente en la declaración, enumerando cada campo y su tipo entre llaves:

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

Compáralo con los tipos de tabla que ya conoces: {number} describe un arreglo y {[string]: number} describe un mapa con claves de cadena de cualquier valor. Una forma es más precisa. Nombra cada campo individualmente y asigna a cada campo su propio tipo.

Una vez declarada la forma, el comprobador de tipos verifica que la tabla se ajuste a ella mientras editas. Si falta un campo o el tipo de un valor es incorrecto, se señala antes de que se ejecute el código:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ error de tipo: string no es un número
}

Como siempre, la anotación no añade ningún comportamiento en tiempo de ejecución: la tabla es una tabla Lua normal. Las formas en línea son perfectas para estructuras puntuales que no planeas reutilizar; en la próxima lección les darás un nombre.