定型环境 在编程语言类型论中定型环境英語typing environment是变量名与其类型的列表用 Γ displaystyle Gamma  Gamma伽瑪來做表示在静态类型编程语言中类型规则英语type rules利用定型环境确定变量的类型进行类型检查 如果x的类型是int则写作 x  i n t displaystyle xint 如果定型环境里有xyz三个变量名类型分别为int bool string则写作 Γ  x  i n t  y  b o o l  z  s t r i n g displaystyle Gamma xintyboolzstring  x  i n t  y  b o o l  z  s t r i n g  a  c h a r displaystyle xintyboolzstringvdash achar 判断类型为char的变量a是否在定型环境里面由于定型环境里只记录了xyz的类型所以这句表达式的结果是假