"추론" 이란, 어떠한 판단을 근거로 삼아 다른 판단을 이끌어 냄
아래 코드는 현재 string 타입이 지정된 것을 볼 수 있다.
하지만 타입 추론을 통해 초기화 된 변수에서 이 변수는 string 타입이라는 걸 알 수 있다. 따라서 타입 생략이 가능하다.
매개변수 b의 경우 전달된 값이 없으면 기본 값으로 빈 문자열이 할당된다.
매개변수 b는 기본값으로 string 타입이 지정되어 있기 때문에 별도의 타입 지정을 하지 않아도 된다.
매개변수 a와 b는 모두 string 타입이기 때문에 a + b는 무조건 string 타입이다. 따라서 반환값의 타입도 추론이 되기 때문에 생략이 가능하다.