Вопросы на собеседовании: TypeScript-разработчик

TypeScript представляет собой язык со статической проверкой, который расширяет JavaScript типами и компилируется в JavaScript.

• Корректный синтаксис JavaScript, как правило, корректен и в TypeScript, поэтому переходить на него можно постепенно.
• Компилятор сообщает о многих ошибках типов до запуска кода.
• Браузеры и Node.js обычно выполняют сгенерированный JavaScript, а не исходный TypeScript напрямую.

Статическая проверка типов означает, что TypeScript анализирует использование значений до запуска программы.

• Компилятор сопоставляет присваивания, аргументы и возвращаемые значения с объявленными или выведенными типами.
• Он может запретить операцию вроде вызова строкового метода у числа.
• Статические проверки устраняют целый класс ошибок, но не доказывают правильность всего поведения программы во время выполнения.

Аннотация типа явно задаёт ожидаемый тип переменной, параметра, свойства или возвращаемого значения.

• Аннотация переменной ставится после её имени, например count: number.
• Она позволяет компилятору отклонить значения, не соответствующие заявленному контракту.
• Аннотации особенно полезны на границах системы или когда вывод типов не передаёт намерение достаточно ясно.

Вывод типов позволяет TypeScript определить тип по окружающему коду без явной аннотации.

• Переменная, инициализированная значением 42, обычно получает тип number.
• Возвращаемый тип функции может быть выведен из значений, возвращаемых её ветками.
• Вывод типов сокращает повторения, сохраняя проверку на этапе компиляции.

Контекстная типизация выводит тип значения из места, где это значение используется.

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

Основные примитивные типы это string, number, boolean, bigint, symbol, null и undefined.

• TypeScript использует имена в нижнем регистре, например string, а не объектные обёртки вроде String.
• В JavaScript обычные целые числа и числа с плавающей точкой относятся к одному типу number.
• При включённой строгой проверке null значения null и undefined нужно обрабатывать явно.

Тип массива задаёт допустимый тип каждого элемента с помощью записи string[] или Array<string>.

• Обе формы описывают массив строк.
• Тип элементов с union, например Array<string | number>, разрешает в одном массиве элементы обоих типов.
• Тип элементов проверяется при чтении, добавлении и передаче значений в методы массива.

Кортеж представляет собой тип массива с известной длиной и отдельным типом для каждой позиции.

• Тип [string, number] требует строку на первой позиции и число на второй.
• Обычный number[] может содержать любое количество чисел без особого смысла у отдельных позиций.
• Кортежи подходят для небольших упорядоченных записей, а для крупных данных обычно понятнее именованные свойства объекта.

Объектный тип описывает имена свойств и типы значений, которые должен содержать объект.

• Свойство вроде name: string обязательно, если оно не отмечено как опциональное.
• Методы можно описывать свойствами с функциями или специальным синтаксисом методов.
• TypeScript проверяет структурную совместимость, поэтому важнее форма объекта, а не имя объявленного типа.

Interface даёт повторно используемое имя форме объекта.

• Он объявляет обязательные, опциональные, readonly-свойства и методы объектов или классов.
• Другие интерфейсы могут расширять его, добавляя или уточняя члены.
• Значение соответствует интерфейсу, если имеет совместимую структуру, даже без явного объявления этой связи.

Type alias присваивает повторно используемое имя любому выражению типа в TypeScript.

• Он может именовать форму объекта, union, intersection, кортеж, примитив или тип функции.
• Псевдоним не создаёт нового значения во время выполнения или отдельного номинального типа.
• Псевдонимы помогают составлять существующие типы в более понятные термины предметной области.

И interface, и type могут описывать форму объекта, но по-разному расширяются и ведут себя при повторных объявлениях.

• Интерфейсы расширяются через extends и могут объединяться при нескольких объявлениях с одним именем.
• Псевдонимы типов составляются через intersection и не могут быть заново открыты другим объявлением.
• Type также описывает union и кортежи, поэтому выбор обычно зависит от нужной возможности и соглашений проекта.

Расширение создаёт интерфейс, содержащий члены одного или нескольких родительских интерфейсов.

• Дочерний интерфейс использует extends и может добавлять свои свойства или методы.
• Повторно объявленное свойство должно оставаться совместимым с унаследованным контрактом.
• Расширение удобно для выражения явной связи между родственными формами объектов.

Union-тип описывает значение, которое может относиться к любому из нескольких перечисленных типов.

• Члены объединяются вертикальной чертой, например string | number.
• До сужения доступны только операции, безопасные для каждого члена union.
• Union моделирует альтернативы точнее, чем ослабление значения до any.

Intersection-тип объединяет несколько типов в один, который должен удовлетворять им всем.

• Члены объединяются амперсандом, например Identified & Timestamped.
• Для объектных типов результат обычно содержит обязательные свойства каждого члена.
• Конфликтующие требования к свойствам могут сделать часть или весь intersection невозможным для создания.

Union принимает значение, подходящее хотя бы одному члену, а intersection требует соответствия каждому члену.

• string | number означает строку или число.
• Named & Auditable означает объект, который выполняет оба объектных контракта.
• Для union обычно сужают альтернативы, а у intersection можно использовать совместимые члены объединённых типов.

Literal type представляет одно точное строковое, числовое или логическое значение вместо широкого примитивного типа.

• Тип 'pending' принимает только эту строку.
• Union литералов может задать закрытый набор, например 'pending' | 'done'.
• Точные значения помогают компилятору находить опечатки и неподдерживаемые варианты.

Объявление const часто сохраняет литеральный тип примитива, а as const сохраняет литеральные значения во всём выражении.

• Переменная const со значением 'open' может получить литеральный тип 'open'.
• Свойства объекта обычно расширяются, потому что их значения можно переназначить.
• as const сохраняет узкие типы вложенных литералов и делает свойства объекта и элементы кортежа readonly.

Опциональное свойство с ? может отсутствовать в объекте.

• При чтении его тип обычно включает undefined.
• Перед использованием как гарантированно существующего значения нужно проверить его наличие.
• Опциональное свойство не всегда равнозначно обязательному свойству, значение которого может быть undefined.

readonly запрещает переназначать свойство или элемент коллекции через эту TypeScript-ссылку.

• readonly-свойство можно инициализировать, но нельзя напрямую присвоить ему новое значение позже.
• ReadonlyArray<T> запрещает изменяющие методы вроде push и splice.
• readonly действует на этапе компиляции и не замораживает JavaScript-объект во время выполнения.