변수 타입을 추론해주는? 차이점이 있다면 뭐임