定型环境

在编程语言类型论中,定型环境(英语:typing environment)是变量名与其类型的列表,用(Gamma)(伽玛)来做表示。在静态类型编程语言中,类型规则英语type rules利用定型环境确定变量的类型,进行类型检查

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

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

另见