简述系统类型检测的原理和步骤。