Что такое type inference (вывод типов) и как он работает?

Type inference -- это способность TypeScript автоматически определять тип переменной по её значению, без явной аннотации. Если ты пишешь let x = 10, компилятор сам понимает, что x имеет тип number. Это делает код чище -- не нужно типизировать каждую строчку вручную. Но знать, когда inference работает, а когда нужна явная аннотация -- важно.