Что такое "инференс типов" (type inference) в TypeScript?

@kieran.bradtke 

"Inference типов" (type inference) в TypeScript - это возможность языка определять тип переменной на основе контекста, что позволяет программистам уменьшить количество кода, которое нужно написать, для того, чтобы определить типы переменных. TypeScript использует алгоритмы инференса типов, чтобы автоматически определять типы переменных, на основе типов значений, которые они содержат, и контекста, в котором они используются. Это снижает количество ошибок типов и ускоряет процесс программирования.