Курс по TypeScript от главного хейтера TypeScript.
Много лет я рассказывал какой TypeScript плохой. Теперь же, я считаю его must have для новых проектов.
Что же случилось?
- Сам TypeScript как язык постепенно улучшается. Появление satisfies, улучшение вывода типов делает язык надежнее чем раньше
- Вокруг языка начала формироваться экосистема с фокусом на надежность и восприятие языка далеко за пределами «умного автокомплита»
- Но самая главная. причина — повсеместное проникновение искусственного интеллекта.
Курс состоит из 5 блоков видео, 4 блоков домашних заданий и 4 практических занятий.
Чему мы научимся?
- Писать код, который не нужно запускать каждую минуту, чтобы проверить «не сломалось ли чего»
- Писать код, который не могут сломать наши прекрасные коллеги по работе, наша любимая LLM и главное — который вы сами не сможете сломать когда через полгода вернётесь в эту часть проекта
- Писать код, который приятно и безопасно рефакторить. Всегда.
Программа курса
1. Теория без занудства
- Зачем мы вообще берём TypeScript
- Что такое «тип»? Иерархия типов, понятие «широкий/узкий», странный тип «any»
- Ко- и контр-вариантность. Почему это важно и как соотносится с SOLID?
- Особенности типов в TypeScript
- Основы вывода типов в TypeScript. Как работает type refinement
2. Слабости TypeScript
- Откуда берутся дыры в вашей типизации?
- «Тёмные углы» вывода типов
- Невыразимые типы и что с ними делать
- Болезни «перетипизации»
- «Потом стипизирую…»
3. Архитектура и типы
- Типы как документация и контракты
- Сколько должно быть типов?
- Границы доверия
- Типизация ошибок и почему ее нельзя делать по остаточному принципу
- Базовая алгебра типов
- Типобезопасность как архитектурный. принцип
4. Инструменты обеспечения надёжности
- Приёмы Type-Level programming
- Result / Either / Option / Maybe и прочие «дикие» типы
- Branded types и почему они важны
- Runtime-типы как источник истины. ArkType
- Генерация типов «отовсюду»
5. Типобезопасный код
- Проклятие Promise<T>
- Страдания по отсутствию checked exceptions
- Идея «эффектов»: давайте спишем у Scala
- Функциональное программирование для землян (основы)
- Компромиссы, (не) доверие в командах и его отражение в системе типов
Тариф Продвинутый.
