코틀린에서는 변수의 타입을 명시적으로 선언하지 않아도 컴파일러가 변수 초기화 값으로부터 타입을 추론할 수 있습니다. 이를 타입 추론이라고 합니다.

예를 들어, 다음과 같이 변수를 선언할 수 있습니다.

val number = 10

코드에서 number 변수는 정수형 값 10으로 초기화되었기 때문에, 컴파일러는 이 변수의 타입을 자동으로 Int로 추론합니다.

또한, 변수의 타입을 명시적으로 선언할 때와 달리 타입 추론을 사용하면 코드가 간결해지고 가독성이 좋아집니다.

코틀린의 타입 추론은 코드 작성을 더 쉽고 효율적으로 만들어주는 강력한 기능 중 하나입니다.