类型是什么

给值分类，并规定哪些操作合法。类型系统是最广泛使用的形式化方法。