1302.13 컴파일 타임 타입 검사와 런타임 타입 검사 비교