Как работает type inference в TypeScript?

TypeScript умеет автоматически выводить типы без явных аннотаций. Если написать const x = 42, TS выведет тип number (точнее, литерал 42 для const). Для let x = 42 выведет number. Для функций выводит тип возвращаемого значения по return. Для массивов — по элементам. Inference работает рекурсивно и обычно достаточно точен. Явные аннотации нужны для параметров функций, пустых массивов и сложных случаев, где TS не может угадать.