Kotlin Type Inferred Variable

// Top-level or class-level property inferred from getter
val isReady get() = true // Inferred as kotlin.Boolean

fun initializeSystem() {
    // Local variable inferred from immediate initialization
    val inferredString = "System initialized" // Inferred as kotlin.String

    // Deferred initialization requires explicit type declaration
    var deferredCounter: Int
    deferredCounter = 0
}

// Explicit return type
fun sumExplicit(a: Int, b: Int): Int = a + b

// Inferred return type
fun sumInferred(a: Int, b: Int) = a + b // Inferred as kotlin.Int

// Explicit generic type
val explicitList: List<Int> = listOf<Int>(1, 2, 3)

// Inferred generic type
val inferredList = listOf(1, 2, 3) // Inferred as List<Int>

val numbers = listOf(1, 2, 3)

// Parameter 'it' is implicitly inferred as kotlin.Int based on List<Int>.map signature
val doubled = numbers.map { it * 2 } 

fun updateStatus() {
    var statusCode = 200 // Inferred as kotlin.Int
    statusCode = 404     // Valid: Reassignment of the same type
    
    // statusCode = "OK" // Compilation Error: Type mismatch. Required Int, found String
}

val defaultInt = 42           // Inferred as Int
val largeInt = 3000000000     // Inferred as Long (exceeds Int.MAX_VALUE)
val explicitLong = 42L        // Inferred as Long
val defaultDouble = 3.14      // Inferred as Double
val explicitFloat = 3.14f     // Inferred as Float