기본 타입과 타입 추론