Илья Климов - Эффективный TypeScript

Курс по TypeScript от главного хейтера TypeScript
Много лет я рассказывал какой TypeScript плохой. Теперь же, я считаю его must have для новых проектов.

Что же случилось?
Сам TypeScript как язык постепенно улучшается. Появление satisfies, улучшение вывода типов делает язык надежнее чем раньше
Вокруг языка начала формироваться экосистема с фокусом на надежность и восприятие языка далеко за пределами "умного автокомплита"
Но самая главная. причина - повсеместное проникновение искуственного интеллекта. Заинтригованы? Посмотрите видео

Структура курса
Курс состоит из 5 блоков видео, 4 блоков домашних заданий и 4 практических занятий
Блоки видео открываются 8, 15 и 22 декабря. После этого мы уходим на новогодние каникулы и два последних блока будут доступны 5 и 12 января
Созвоны запланированы на 11:00 по Украине 13, 20, 27 декабря, а также 10 и 17 января

Чему мы научимся?

• Писать код, который не нужно запускать каждую минуту, чтобы проверить "не сломалось ли чего"
• Писать код, который не могут сломать наши прекрасные коллеги по работе, наша любимая 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
• Функциональное программирование для землян (основы)
• Компромиссы, (не) доверие в командах и его отражение в системе типов

Тариф Продвинутый
Для тех, кто готов обсуждать
Доступ ко всем теоретическим материалам и записям всех звонков
4 звонка по 2+ часа с разбором практических нюансов, возможностью задать свой вопрос