Extensión de formas

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

Las formas relacionadas suelen compartir campos. Todo Admin también es un User; copiar los campos compartidos en ambas declaraciones puede hacer que se separen.

Ya conociste el operador de intersección & al combinar alias. Funciona exactamente igual con las formas. A & B significa «tiene todo lo de A y todo lo de B»:

type User = {name: string, age: number}
type Admin = User & {level: number}

-- Admin ahora requiere: name, age Y level
local root: Admin = {name = "Root", age = 35, level = 9}

Mientras que TypeScript necesita una palabra clave extends separada para las interfaces, Luau no necesita nada nuevo: las intersecciones ya hacen el trabajo. Puedes encadenar varias partes:

type Contact = {email: string}
type Developer = User & Contact & {yearsExperience: number}

No confundas & con |: una unión A | B es una forma u otra, mientras que una intersección A & B debe satisfacer ambas a la vez. Y como Admin tiene todos los campos de User, un valor Admin puede pasarse a cualquier lugar donde se espere un User.

Desafío

Fácil

Crea estos alias de tipo:

Employee: id (number), name (string), department (string)
Manager: Employee extendido (mediante &) con teamSize (number)
Contact: email (string)
Developer: la intersección de Employee, Contact y {yearsExperience: number}

Crea:

teamLead de tipo Manager: id 101, nombre "Alice Johnson", departamento "Engineering", tamaño del equipo 8
dev de tipo Developer: id 102, nombre "Bob Smith", departamento "Engineering", correo electrónico "bob@company.com", años de experiencia 5

Crea una función getManagerSummary que reciba un Manager y devuelva [name] manages [teamSize] people.

Imprime, cada uno en su propia línea:

el resultado de getManagerSummary(teamLead)
[name] has [yearsExperience] years of experience para dev
el departamento de teamLead
el correo electrónico de dev

Pruébalo tú mismo

-- Escribe código aquí
-- 1) define Employee, luego Manager / Contact / Developer con &
-- 2) crea teamLead y dev
-- 3) escribe getManagerSummary
-- 4) imprime las cuatro líneas solicitadas