类型系统是什么

类型就是数据的种类，比如数字、文字、真假。类型系统是一套规则，规定"什么类型能做什么操作"，帮我们提前挡住像"数字减文字"这种没意义的事。