1. 类型化的：5.1 未类型化的(untyped)语言类型化的(typed)语言: 变量都被给定类型未类型化的(untyped)语言:不限制变量值的范围动态类型化:单一类型(type)的语言有多类别(class)的值dyn表示带类别标记的值(即new[l](e) )的类型(type)l 表示标记的类别(class)去除循环内的cast,

2. 打字：typecasting 铸字 | typed 打字 | typeface 字体

3. 合格 合格 合格 不合 合格：TypeC 合格 合格 不合 合格 合格 | TypeD 合格 合格 合格 不合 合格 | TypeE 合格 不合 不合 合格 合格