7.1.1 类型系统可靠性