Kotlin的類型推斷功能非常強大，它可以根據上下文自動推斷變量的類型，從而減少冗余的代碼。以下是一些使用Kotlin類型推斷優化代碼的方法：

1. 使用let函數：let函數允許你在一個作用域內對值進行安全地解包和操作。由于Kotlin的類型推斷，你不需要顯式地聲明變量的類型。

val numbers = listOf(1, 2, 3, 4, 5)
numbers.let { list ->
    list.forEach { number ->
        println(number * 2)
    }
}

2. 使用with函數：with函數允許你在一個作用域內對對象進行操作，而無需顯式地調用對象的方法。Kotlin的類型推斷會根據上下文推斷出正確的類型。

val rectangle = Rectangle(4.0, 5.0)
with(rectangle) {
    println("Area: $area")
    println("Perimeter: $perimeter")
}

3. 使用擴展函數：擴展函數允許你為現有類添加新的功能，而無需繼承該類或使用其他設計模式。Kotlin的類型推斷會根據調用擴展函數時的上下文推斷出正確的類型。

fun String.printUpperCase() {
    println(this.toUpperCase())
}

val text = "hello, world!"
text.printUpperCase()

4. 使用?.操作符：當你不確定一個變量是否為空時，可以使用?.操作符來避免空指針異常。Kotlin的類型推斷會在運行時處理空值。

val user = getUserOrNull()
user?.let {
    println("User name: ${it.name}")
    println("User age: ${it.age}")
}

5. 使用when表達式：when表達式允許你根據多個條件執行不同的代碼塊。Kotlin的類型推斷會根據上下文推斷出正確的類型。

val number = 3
when (number) {
    in 1..3 -> println("Number is between 1 and 3")
    in 4..6 -> println("Number is between 4 and 6")
    else -> println("Number is out of range")
}

通過使用Kotlin的類型推斷，你可以編寫更簡潔、易讀的代碼，同時減少潛在的錯誤。