Каким образом в языке Kotlin осуществляется определение типа переменной?

В Kotlin тип переменной можно определить явно или неявно. При явном определении типа указывается после имени переменной через двоеточие :. При неявном — компилятор выводит тип из присваиваемого значения.

Пример явного определения типа:

val number: Int = 10
var name: String = "Kotlin"

Пример неявного определения типа (type inference):

val number = 10       // компилятор понимает, что это Int
var name = "Kotlin"  // компилятор понимает, что это String

Если переменная объявлена без инициализации, тип обязательно нужно указать явно.