Anotaciones de forma en línea

Parte de la sección Introducción a Luau del Journey de Lua de Coddy. Lección 37 de 73.

En Lua has estado usando tablas como registros durante mucho tiempo: local user = {name = "Ana", age = 20}. Nada te impide escribir mal un campo, olvidar 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,
}

Compara esto con los tipos de tabla que ya conoces: {number} describe un arreglo y {[string]: number} describe un mapa con cualquier clave de cadena. 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 la tabla según ella mientras editas. Un campo faltante o un tipo de valor incorrecto se señala antes de que el código llegue a ejecutarse:

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

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 siguiente lección darás un nombre a las formas.

Desafío

Fácil

Crea una variable llamada student con una anotación de forma inline que declare:

name de tipo string
studentId de tipo number
isEnrolled de tipo boolean

Inicialízala con name "Sarah Johnson", studentId 12345 e isEnrolled true.

Crea una segunda variable llamada course con una anotación de forma inline que declare:

title de tipo string
credits de tipo number
instructor de tipo string

Inicialízala con title "Introduction to Luau", credits 3 e instructor "Dr. Smith".

Imprime, cada uno en su propia línea:

el name del estudiante
el ID del estudiante
el title del curso
el número de credits

Pruébalo tú mismo

-- Escribe código aquí
-- 1) declara student con una anotación de forma en línea
-- 2) declara course con una anotación de forma en línea
-- 3) imprime los cuatro campos solicitados