Arrays genéricos

Los genéricos resultan muy útiles cuando se trabaja con tablas. Ya escribes arreglos tipados como {number} o {string}. Dentro de una función genérica, el tipo del elemento puede ser simplemente T, y {T} significa «un arreglo de lo que resulte ser T».

Este es el ejemplo clásico: obtener el primer elemento de cualquier arreglo:

local function first<T>(items: {T}): T?
    return items[1]
end

Pasa un {string} y el verificador infiere T = string, así que el resultado es una cadena. Pasa un {number} y será un número. Una función reemplaza toda una familia de copias para cada tipo.

Fíjate bien en el tipo de retorno: es T?, no T. Un arreglo puede estar vacío, y entonces items[1] es nil: el tipo opcional que conociste antes lo expresa con claridad: «un T o nil». El verificador avisará a quienes llamen a la función que deben gestionar el caso nil antes de usar el resultado, que es precisamente el tipo de detección de errores que quieres de un lenguaje tipado.