🗺️ TypeScript

Статическая типизация поверх JavaScript.

С чего начать

1. Что такое TypeScript
2. TypeScript -- что такое и зачем
3. TypeScript -- установка и настройка
4. tsconfig.json -- основные опции
5. TS базовые типы
6. Type Annotations и Type Inference
7. interface vs type -- когда что

---

Основы

tsconfig, компиляция, установка, что такое TS.

• Что такое TypeScript
• TypeScript -- что такое и зачем
• TypeScript введение и настройка
• TypeScript -- установка и настройка
• Установка и tsconfig
• tsconfig.json -- основные опции
• TypeScript -- компиляция и запуск
• Компиляция
• TypeScript Compiler API
• Type Annotations и Type Inference
• TS vs JS -- философия Тимура

---

Типы

Базовые

string/number/boolean, any/unknown/never/void, массивы, кортежи, функции.

• TS базовые типы
• Примитивные типы
• Типы -- null, undefined, void, never
• any unknown never void
• any, unknown -- различия
• Массивы и кортежи
• TS функции и перегрузки
• Optional и Default параметры
• Примитивы в TS vs реальность V8

Расширенные

interface, type alias, Readonly, Union, Intersection, Discriminated, Enum, literal.

• Интерфейсы
• interface -- объявление и использование
• Расширение интерфейсов -- extends
• Type alias
• type alias -- объявление
• interface vs type -- когда что
• Type vs Interface
• Readonly свойства
• Union Types
• Intersection Types
• Union и Intersection
• in оператор для сужения
• Enum
• as const и Enum
• as const и const assertions
• Литеральные типы
• Literal Types

---

Продвинутые типы

Generics

• Generics
• Generic функции
• Generic интерфейсы и классы
• Ограничения дженериков -- extends
• Variadic Tuple Types
• Дженерики -- практические примеры

Utility

Pick, Omit, Partial, Required, Record, Exclude, Extract, NonNullable, ReturnType, Parameters, InstanceType, Awaited.

• Utility types
• TS Utility Types
• Partial, Required, Readonly
• Pick, Omit, Record
• Exclude, Extract, NonNullable
• ReturnType, Parameters, InstanceType
• Awaited -- тип для промисов

Type Guards и Narrowing

• TS Narrowing и Type Guards
• Type guards
• Type Guards -- typeof и instanceof
• Пользовательские Type Guards
• Discriminated Unions
• Assertion Functions

Type-Level

Conditional, Mapped, infer, branded, template literal, recursive, typeof/keyof.

• Mapped types
• Conditional types
• Template literal types
• Recursive Types
• Infer -- извлечение типов
• Branded Types
• typeof и keyof

---

ООП в TypeScript

Классы, abstract, implements, доступ, декораторы.

• Классы
• TS классы в TypeScript
• Модификаторы доступа
• Parameter Properties
• abstract классы
• Абстрактные классы
• implements -- реализация интерфейсов
• Декораторы

---

Модули

import/export, .d.ts, Module Augmentation, namespaces.

• Модули TS
• TS модули и пространства имён
• Declaration files (.d.ts)
• Module Augmentation

---

Практика

Типизация API, форм, событий, callbacks. Strict mode, миграция, DTO.

Типизация прикладных задач

• Типизация API-ответов
• Типизация React-компонентов
• Типизация Event Handlers
• Типизация объектов
• Типизация функций -- параметры и возврат
• Типы для callback функций
• DTO в TypeScript -- интерфейс vs класс

Strict mode и миграция

• Strict mode в TS
• TS миграция с JavaScript
• Миграция JS → TS
• Миграция JS в TS -- стратегия

V8 и внутренности

• TS типы и формы объектов V8

---

Философия (provocative)

TS vs JS, позиции, UNION-debate.

• TS vs JS -- философия Тимура
• Примитивы в TS vs реальность V8
• TS типы и формы объектов V8

Альтернативные позиции — UNION types, any, runtime validation vs static types.

---

Связанные

• _MOC JavaScript · _MOC SPA · _MOC Node.js
• _MOC ООП · _MOC Паттерны · _MOC Тестирование

---

🧭 Навигация

⬅️ Предыдущий	_MOC JavaScript
➡️ Следующий	_MOC SPA
⬆ К главной	🗺️ MOC