1. 타입 추론