Философия TypeScript

Книга · 2026 · Виктор Хаменок

TypeScript как самостоятельная парадигма, а не «JavaScript с аннотациями». Книга для опытных программистов — особенно из номинативного ООП (Java, C#, Kotlin) — которая не учит синтаксису, а перепрошивает мышление: думать формами значений, видеть в системе типов программируемый язык и держать дисциплину на границе рантайма, где гарантии испаряются. Метод — объяснять «почему», а не «как»: каждая конструкция выводится через проблему и дизайнерский размен, острые края не прячутся.

Содержание

  1. Введение
  2. Глава 1. Что такое TypeScript на самом деле
  3. Глава 2. Структурная истина против номинального ярлыка
  4. Глава 3. Стирание: почему типов нет в рантайме
  5. Глава 4. Вывод вместо объявления
  6. Глава 5. Компилятор как доказательство
  7. Глава 6. Множества, а не классы
  8. Глава 7. Суммы и произведения
  9. Глава 8. Литеральные типы и сужение
  10. Глава 9. Размеченные объединения
  11. Глава 10. null, undefined и честность
  12. Глава 11. never, unknown, any
  13. Глава 12. Объекты как формы
  14. Глава 13. Функции как граждане первого класса
  15. Глава 14. Интерфейсы и type
  16. Глава 15. Классы в структурном мире
  17. Глава 16. Композиция против иерархии
  18. Глава 17. Дженерики как функции над типами
  19. Глава 18. Ограничения и вывод параметров
  20. Глава 19. Условные типы и infer
  21. Глава 20. Сопоставленные типы
  22. Глава 21. Шаблонные литеральные типы
  23. Глава 22. Рекурсия и пределы
  24. Глава 23. Утилитные типы изнутри
  25. Глава 24. Где компилятор лжёт
  26. Глава 25. Type guards и сужение в рантайме
  27. Глава 26. Схемы как источник истины
  28. Глава 27. Ошибки и исключения
  29. Глава 28. Декларации и чужой код
  30. Глава 29. Проектировать формами: делать недопустимое непредставимым
  31. Глава 30. Вывод против явности
  32. Глава 31. Строгость как спектр
  33. Глава 32. Эстетика TypeScript
  34. Заключение