정적 타입 검사 (1)