1302.11 타입 안전성의 정의와 필요성