2.3.4 计算和类型