Ответ.

История вопроса: Kotlin изначально проектировался как язык с лаконичным, но строго типизированным синтаксисом. Для повышения читаемости и уменьшения дублирования кода был реализован мощный type inference (вывод типов).

Проблема: Иногда объявление типа становится излишним, усложняя код. Но избыточное сокращение типов приводит к затруднениям при чтении и распространению ошибок, если компилятор не может вывести тип.

Решение: Type inference позволяет компилятору определить большинство типов автоматически на основании инициализации или контекста. Но строгая типизация по-прежнему контролирует правильность кода.

Пример кода:

val name = "Kotlin" // String, тип выведен автоматически
var count = 5         // Int, тип выведен автоматически
val items = listOf(1, 2, 3) // List<Int>

// Явное указание типа требуется, если вывод невозможен
val callback: (Int) -> Unit = { println(it) }

Ключевые особенности:

Тип переменной или выражения может быть выведен из инициализации или контекста вызова функции
Не всегда возможен вывод типа: компилятор требует явного объявления, если выражение неоднозначно
Type inference не распространяется на возвратные типы публичных функций и свойств: их компилятор требует указывать явно для стабильности ABI

Вопросы с подвохом.

Возможно ли не указывать тип возвращаемого значения у public функции?

Нет, если функция публичная, компилятор потребует явного объявления типа возврата для стабильности интерфейсов и поддержки Java-интеропа.

Пример:

// Ошибка!
public fun compute(x: Int) = x * 2 // Требуется явно: public fun compute(x: Int): Int = x * 2

Какой тип у val x = null?

Компилятор не сможет вывести тип, потому что null не имеет типа без контекста. Необходимо объявить тип явно:

val x: String? = null

Может ли type inference сработать для сложных generic-типов при chain-обработке коллекций?

Да, но если тип нельзя однозначно вывести (например, map преобразует типы), иногда потребуется явно указать тип переменной:

val values = listOf("1", "2").map { it.toInt() } // List<Int>, тип будет выведен

Типовые ошибки и анти-паттерны

Отсутствие явного типа в публичных API-функциях
Перегруженность кода неявными типами, затрудняющая чтение
Ошибка при попытке вывести тип при инициализации через null

Пример из жизни

Негативный кейс

В проекте все переменные объявляются без указания типа, что затрудняет навигацию и понимание кода для других разработчиков или новых сотрудников.

Плюсы:

Меньше кода
Быстрее писать и рефакторить

Минусы:

Трудно читать и поддерживать
Легко ошибиться при изменении инициализации

Позитивный кейс

Внутри функций типы переменных выводятся автоматически, но во всех публичных API всегда явно указывается возвращаемый тип и типы параметров.