Kotlin 類型推斷適用于以下場景：

1. 局部變量：當你在函數或代碼塊中定義一個局部變量時，Kotlin 可以根據變量的初始值自動推斷其類型。這樣可以減少冗余的代碼，使代碼更簡潔易讀。

val number = 42 // Kotlin 推斷 number 為 Int 類型
val name = "John" // Kotlin 推斷 name 為 String 類型

2. 函數參數：當你在調用函數時傳遞參數時，Kotlin 可以根據參數的值推斷其類型。這樣可以減少冗余的類型聲明，使代碼更簡潔易讀。

fun printName(name: String) {
    println("Hello, $name!")
}

printName("John") // Kotlin 推斷參數 name 為 String 類型

3. 返回值類型：當你在定義函數時，Kotlin 可以根據函數的返回語句推斷其返回值類型。這樣可以減少冗余的類型聲明，使代碼更簡潔易讀。

fun getNumber(): Int {
    return 42
}

val number = getNumber() // Kotlin 推斷 getNumber() 的返回值為 Int 類型

4. 屬性類型：在定義類的屬性時，Kotlin 可以根據屬性的初始值或者從構造函數中傳遞的值推斷其類型。這樣可以減少冗余的類型聲明，使代碼更簡潔易讀。

class Person(val name: String, var age: Int) {
    // Kotlin 推斷 name 為 String 類型，age 為 Int 類型
}

5. 泛型類型：在使用泛型時，Kotlin 可以根據上下文推斷泛型的類型參數。這樣可以減少冗余的類型參數聲明，使代碼更簡潔易讀。

fun <T> printList(list: List<T>) {
    for (item in list) {
        println(item)
    }
}

val numbers = listOf(1, 2, 3, 4, 5)
printList(numbers) // Kotlin 推斷泛型參數 T 為 Int 類型

總之，Kotlin 類型推斷可以幫助你編寫更簡潔、易讀的代碼，減少冗余的類型聲明。在大多數情況下，它都能提供足夠的信息來推斷變量的類型。