Типы пересечения (Intersection)

Объединения означают, что значение имеет один тип или другой. Пересечения типов работают наоборот: амперсанд & объединяет формы таблиц в тип, содержащий все поля каждой части:

type HasName = { name: string }
type HasAge = { age: number }

type Person = HasName & HasAge

-- У Person обязательно должны быть ОБА поля
local user: Person = {
    name = "Alice",
    age = 25,
}

Пропусти age, и проверяющий выдаст ошибку: пересечение — это «и», а не выбор одного из вариантов. Это позволяет создавать большие формы из небольших повторно используемых частей: определяй отдельные типы для разных задач, а затем объединяй их по мере необходимости:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

Важное замечание о Luau: пересекай формы таблиц (и типы функций), а не примитивы. Выражение вроде number & string не имеет смысла, поскольку ни одно значение не может одновременно быть и тем и другим. Когда тебе нужна «эта форма плюс та форма», используй &.

Во время выполнения Person, конечно, является обычной таблицей Lua: пересечение существует только для проверяющего.