수정하기 - 코틀린의 타입 추론이란 무엇인가요?