Что такое выведение типа в Kotlin

Выведение типа (type inference) в Kotlin — это возможность компилятора автоматически определять тип переменной или выражения на основе контекста, без явного указания типа.

val name = "Kotlin"  // String выведен автоматически
val number = 42      // Int выведен автоматически
val list = listOf(1, 2, 3)  // List<Int> выведен

Преимущества:

• Уменьшает шаблонный код.
• Повышает читаемость.
• Работает с generics, лямбдами и сложными выражениями.

Ограничения:

• Не работает для свойств класса без инициализации (val x — ошибка).
• В некоторых случаях (например, перегрузки) лучше явно указать тип.