定型环境

在编程语言类型论中，定型环境（）是变量名与其类型的列表，用（Gamma）（伽瑪）來做表示。在静态类型编程语言中，利用定型环境确定变量的类型，进行类型检查。

如果x的类型是int，则写作。如果定型环境里有x,y,z三个变量名，类型分别为int, bool, string，则写作。

判断类型为char的变量a是否在定型环境里面，由于定型环境里只记录了x,y,z的类型，所以这句表达式的结果是假。

另见
 类型系统
 
 类型论

 类型论