5.1类型在编程语言中的作用 512类型化语言和类型系统 4、类型化的语言 变量的类型 类型化的语言 变量都被给定类型的语言 表达式、语句等程序构造的类型都可以静态确定 例如,类型b0lemn的变量x在程序每次运行时的值只能是 布尔值,mot(x)总有意义5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 • 变量的类型 • 类型化的语言 – 变量都被给定类型的语言 – 表达式、语句等程序构造的类型都可以静态确定 – 例如，类型boolean的变量x在程序每次运行时的值只能是 布尔值，not (x)总有意义