타입추론으로 언어의 타입을 생략할 수 있지만

잘못된 타입 계산은 컴파일러가 강력히 막는게 좋음