Основы

const запрещает переприсваивание привязки после инициализации, а let допускает переприсваивание. const не делает значение глубоко неизменяемым — вы по-прежнему можете менять свойства const-объекта или делать push в const-массив, потому что фиксируется только ссылка. Оба имеют блочную область видимости. Для настоящей неизменяемости используйте readonly, as const или Object.freeze.

Полагайтесь на вывод для локальной переменной с инициализатором — аннотация лишь повторяет выведенное компилятором. Аннотируйте там, где выводу нечего читать: параметры функций и пустой инициализатор вроде const xs: string[] = []. Тип возврата экспорта фиксируйте явно.

Объявляйте переменные через let, const или var, при желании добавляя аннотацию : Type, например let count: number = 0. Если аннотация опущена, тип выводится из инициализатора. var имеет область видимости функции и поднимается, а let и const имеют блочную область видимости. Предпочитайте const, затем let, и избегайте var.

TypeScript — это статически типизированное надмножество JavaScript от Microsoft. Он добавляет необязательные аннотации типов, проверяемые при компиляции, поэтому ошибки типов ловятся до запуска кода, и любой валидный JS является валидным TS. Он не запускается напрямую в браузере или Node — tsc транспилирует его в обычный JavaScript и стирает типы.

Аннотация вешается на весь шаблон, а не на имена внутри него: ({ host, retries = 3 }: { host: string; retries?: number }). Значение по умолчанию сужает retries в теле до обычного number. Возврату нужна явная аннотация : [string, number]: вывод расширяет литерал до (string | number)[].

Вывод типов — это автоматическое определение типа TypeScript по значению или контексту, когда аннотация не задана. let x = 10 выводит number, а тип возвращаемого значения функции выводится из её тела. Для массивов и объединений вычисляется наиболее общий тип, а контекстная типизация выводит тип параметра из ожидаемого типа. Это делает код лаконичным, сохраняя типобезопасность.

Контекстная типизация — вывод снаружи внутрь: тип, ожидаемый в позиции, задаёт типы записанному там выражению. В xs.map(x => x.length) аннотация для x не нужна — ожидаемый map тип параметра втекает в стрелку. Вынесите стрелку в const — и x станет неявным any.

Потому что привязку let можно переприсвоить, и TypeScript расширяет её литеральный тип до базового string. Привязку const переприсвоить нельзя, поэтому литеральный тип 'a' сохраняется. То же расширение бьёт по изменяемым свойствам объекта: const o = { k: 'a' } даёт o.k тип string, и остановит это лишь as const.