Можно ли расширять (extends) типы в TypeScript, как интерфейсы?

Да, типы можно "расширять" — но не через extends, а через пересечения (&)

В TypeScript существует два основных способа создания составных типов: интерфейсы (с ключевым словом interface) и псевдонимы типов (с ключевым словом type). У них разный синтаксис для расширения:

• Интерфейсы используют extends (как в вашем примере).
• Типы используют оператор пересечения & (амперсанд).

Как правильно расширять тип

Вот корректный способ расширить тип User до AdminUser:

type User = {
  name: string;
};

type AdminUser = User & {
  role: string;
};

// Теперь AdminUser содержит оба поля:
const admin: AdminUser = {
  name: "Alice",
  role: "superadmin"
};

Оператор & создает пересечение (intersection) двух типов — новый тип, который включает все свойства из обоих исходных типов. Это работает для любых типов, не только для объектных:

type HasId = { id: number };
type HasName = { name: string };

type Person = HasId & HasName; // { id: number; name: string }

// Можно комбинировать с примитивами и другими типами:
type A = { x: number };
type B = { y: string };
type C = A & B; // { x: number; y: string }

Можно ли "расширять" типы через другие типы?

Да, вы можете строить цепочки:

type Base = { created: Date };
type WithName = Base & { name: string };
type WithAge = WithName & { age: number };

// Итоговый тип: { created: Date; name: string; age: number }

Когда использовать interface extends, а когда type &?

Вот ключевые различия:

Практический совет

Используйте интерфейсы когда:

• Вам нужно расширять типы из библиотек (declaration merging).
• Вы пишете публичный API или библиотеку.
• Вам нужна максимальная производительность компиляции.

Используйте типы с пересечениями когда:

• Вам нужно комбинировать не-объектные типы (например, string & { brand: 'email' }).
• Вы работаете с условными типами, маппингом или утилитами типа Pick/Omit.
• Вам нужно создать точную копию другого типа с изменениями (через Omit + &).

Важный нюанс: конфликты свойств

При пересечении типов с одинаковыми именами свойств, но разными типами, TypeScript может создать never (если типы несовместимы):

type A = { x: number };
type B = { x: string };

type C = A & B; // x: never (невозможно одновременно number и string)

Интерфейсы с extends в такой ситуации выдадут ошибку компиляции, что обычно удобнее.

type User = { name: string; email: string; age: number };
type UserWithRole = User & { role: string };

type User = { name: string; email: string; age: number };

// Создаем новый тип на основе User, но добавляем role
type UserWithRole = Omit<User, 'age'> & { role: string; age?: number };

// Или если нужно взять только часть свойств:
type UserPreview = Pick<User, 'name' | 'email'> & { isActive: boolean };