Тип из значения

Тип из значения в TypeScript означает автоматический вывод типа из значения или выражения посредством механизма вывода типов.

const x = 'x'; // TypeScript выводит для 'x' строковый литеральный тип с 'const' (неизменяемый), но расширяет его до 'string' с 'let' (допускает переприсваивание).