타입 안정성 (1)