В чем основное различие между TypeScript и JavaScript относительно безопасности типов и как TypeScript это достигает?

Подсказки:

• Знакомы ли вы с концепцией статической типизации и чем она отличается от динамической типизации?
• Подумайте, как TypeScript помогает обнаруживать ошибки до запуска кода.
• Что TypeScript добавляет в JavaScript, чтобы сделать его более надежным?

Превосходя ожидания:

• Понимание, что TypeScript предлагает вывод типов (type inference), который автоматически определяет тип переменной, когда вы не указываете аннотацию типа. Оно также включает в себя расширенные типы, такие как объединения типов, пересечения типов и mapped types, которые обеспечивают большую гибкость и контроль над кодом.
• Понимание того, как TypeScript компилируется в JavaScript и как он интегрируется с существующим кодом JavaScript.

TypeScript — это надмножество JavaScript, добавляющее статическую типизацию в язык.

TypeScript против JavaScript в плане безопасности типов

1. В отличие от JavaScript, который имеет динамическую типизацию, TypeScript вводит статическую типизацию. Это означает, что типы переменных проверяются на этапе компиляции. Вы можете явно определить типы, используя аннотации типов, или положиться на вывод типов TypeScript, чтобы автоматически определить тип по присвоенному значению.

   let message: string = "Hello, World!";
   let count: number = 42;
   

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

2. Аннотации типов: TypeScript позволяет разработчикам аннотировать переменные, параметры функций и типы возвращаемых значений с помощью конкретных типов. Это помогает в документировании предполагаемого использования переменных и функций, делая код более читаемым и поддерживаемым.

   function greet(name: string): string {
       return `Hello, ${name}`;
   }
   

3. Вывод типов: Даже без явных аннотаций типов TypeScript может вывести типы на основе начального значения, присвоенного переменной. Эта функция обеспечивает преимущества статической типизации без избыточности.

   let isDone = false; // выводится как boolean
   

4. Основы системы типов: Система типов TypeScript включает примитивные типы, такие как string, number, boolean, null, undefined и symbol. Кроме того, она поддерживает сложные типы, такие как массивы, кортежи и перечисления, а также более продвинутые типы, такие как объединение типов, пересечение типов и mapped типы.

   type StringOrNumber = string | number; // Объединение типов
   

5. Тип против интерфейса: TypeScript предоставляет как типы, так и интерфейсы для определения пользовательских типов. Хотя оба используются для определения формы/структуры объекта, интерфейсы более расширяемы и могут быть реализованы классами, тогда как типы более гибкие и могут представлять сложные типы.

   interface User {
       name: string;
       age: number;
   }
   
   type Status = "active" | "inactive";
   

Компиляция и интеграция TypeScript

• Компиляция: TypeScript компилируется в JavaScript с использованием компилятора TypeScript (tsc). Этот процесс проверяет ошибки типов и выводит файл JavaScript, который может работать в любой среде JavaScript.

• Интеграция: TypeScript бесшовно интегрируется с существующим кодом JavaScript. Его можно постепенно внедрять в проект JavaScript, позволяя разработчикам постепенно переходить на статическую типизацию.

• Параметры компилятора: TypeScript предоставляет различные параметры компилятора для управления выводом, такие как настройка на разные версии ECMAScript, включение строгих проверок типов и генерация карт исходных файлов для отладки.

Продвинутые функции TypeScript

1. Вывод типов: Вывод типов TypeScript автоматически определяет типы, когда явные аннотации не указаны, что сокращает избыточный код и повышает читаемость.

2. Продвинутые типы: Функции, такие как объединение типов (|), пересечение типов (&) и mapped типы, добавляют большей гибкости и контроля при определении сложных структур данных.

   type Admin = {
       privileges: string[];
   };
   
   type Employee = {
       name: string;
       startDate: Date;
   };
   
   type ElevatedEmployee = Admin & Employee; // Пересечение типов