4.1 类型系统及其重要性