Static Type Checking (정적 타입 검사)