Какая система типизации используется в TypeScript? Чем она отличается от типизации в языках вроде C# или Java?

Что такое система типизации?

Система типизации определяет, как язык проверяет и связывает типы данных. В TypeScript используется статическая типизация, как и в C# или Java, но с ключевым отличием в подходе к совместимости типов.

Структурная типизация в TypeScript

TypeScript основан на структурной типизации: тип считается совместимым, если его структура (свойства и методы) соответствует ожидаемой. Не важно, как называется класс или интерфейс — важна форма объекта. Это особенно полезно при работе с данными из API или сторонних библиотек, где нет необходимости создавать сложные иерархии классов.

interface Point { x: number; y: number; }
function printPoint(p: Point) { console.log(p.x, p.y); }
const obj = { x: 10, y: 20 }; // структурно совместим
printPoint(obj); // OK

Номинальная типизация в C# и Java

В C# и Java применяется номинальная типизация: тип считается совместимым только если он явно объявлен как наследник или реализация. Например, объект должен реализовать интерфейс или наследоваться от класса, даже если его структура идентична.

// C#
interface IPoint { int X { get; set; } int Y { get; set; } }
class Point : IPoint { public int X { get; set; } public int Y { get; set; } }
// Объект без реализации интерфейса не подойдёт

Практические последствия

• TypeScript упрощает интеграцию с JavaScript-кодом, так как не требует явных объявлений типов для каждого объекта.
• Структурная типизация позволяет легко создавать анонимные объекты и использовать их в функциях без лишних классов.
• В C# и Java номинальная типизация даёт более строгий контроль и явные контракты, что удобно в больших корпоративных проектах.

Вывод

Структурная типизация TypeScript делает язык более гибким и подходящим для динамических сценариев JavaScript, тогда как номинальная типизация C# и Java обеспечивает строгость и предсказуемость в крупных системах. Выбор зависит от контекста проекта и предпочтений команды.