6.1.2 程序语言的类型