统提供更多细微的控制。
类型.formula_1：断言变量e的类型是int。
型别检查.型别检查所进行的检验处理以及实行型别的约束，可发生在编译时期（静态检查）或执行时期（动态检查）。静态型别检查是在编译器所进行语义分析中进行的。如果一个语言强制实行型别规则（即通常只允许以不遗失资讯为前提的自动型别转换）就称此处理为强型别，反之称为弱型别。
静态和动态检查.如果一个程式语言的型别检查，可在不测试执行时期运算式的等价性的情况下进行，