Расширение структур

Связанные типы часто имеют общие поля. Каждый Admin — это также User; копирование общих полей в оба объявления может привести к их расхождению.

Ты уже встречал оператор пересечения & при объединении псевдонимов. Для типов он работает точно так же. A & B означает «содержит всё из A и всё из B»:

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

-- Для Admin теперь обязательны: name, age И level
local root: Admin = {name = "Root", age = 35, level = 9}

В TypeScript интерфейсам нужно отдельное ключевое слово extends, а в Luau ничего нового не требуется: пересечения уже решают эту задачу. Можно объединить несколько частей:

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

Не путай & с |: объединение A | B — это любой один из типов, а пересечение A & B должно соответствовать обоим сразу. А поскольку Admin содержит все поля User, значение типа Admin можно передать везде, где ожидается User.