Эффективный TypeScript

Этот курс создан для разработчиков, которые хотят вывести качество своего TypeScript-кода на новый уровень — от простого использования типизации ради автодополнения до построения надежных архитектур, устойчивых к ошибкам коллег, ИИ-инструментов и собственных рефакторингов.

Автор курса много лет критиковал TypeScript, однако эволюция языка, появление целостной экосистемы вокруг него и стремительный рост роли искусственного интеллекта в разработке изменили ситуацию. Сегодня TypeScript — обязательный инструмент для проектов, ориентированных на надежность, масштабируемость и предсказуемый код.

Вы узнаете, почему современный TypeScript стал значительно лучше: как новые возможности вроде satisfies, улучшенный вывод типов и инструменты экосистемы позволяют писать код, который сложно сломать и легко поддерживать.

Результаты обучения

После завершения курса вы сможете:

• Писать код, который не требует постоянного ручного запуска для проверки корректности.
• Создавать системы, устойчивые к ошибкам команды, инструментов и ИИ, и в которые вы сами сможете безопасно возвращаться через полгода.
• Рефакторить без страха. Всегда.
• Использовать систему типов как инструмент проектирования и контроля надежности, а не просто как декларацию данных.

Блок 1. Теория без занудства

• Зачем современному разработчику TypeScript.
• Понятие типа: иерархии, широкие и узкие типы, роль any.
• Ко- и контрвариантность, связь с принципами SOLID.
• Особенности системы типов TypeScript.
• Основы вывода типов и механизмы type refinement.

Блок 2. Слабости TypeScript

• Источники типовых “дыр”.
• Проблемные зоны вывода типов.
• Невыразимые типы: как распознать и что с ними делать.
• Болезни “перетипизации” и почему “потом стипизирую” — путь к дефектам.

Блок 3. Архитектура и типы

• Типы как документация и контракты.
• Сколько типов нужно в проекте.
• Границы доверия и моделирование рисков через типизацию.
• Типизация ошибок как обязательный элемент архитектуры.
• Основы алгебры типов.
• Типобезопасность как архитектурный принцип.

Блок 4. Инструменты обеспечения надежности

• Приемы type-level programming.
• Result / Either / Option / Maybe и другие конструкты.
• Branded types и их роль в предотвращении классов ошибок.
• Runtime-типы как единственный источник истины: ArkType и альтернативы.
• Генерация типов из внешних источников и спецификаций.

Блок 5. Типобезопасный код

• Проблематика Promise<T> и типизация асинхронности.
• Страдания без checked exceptions: как компенсировать.
• Идея эффектов и опыт Scala.
• Функциональный подход для практикующих разработчиков.
• Компромиссы, доверие в команде и отражение этих принципов в системе типов.