定型環境

在編程語言類型論中 ， 定型環境  是變量名與其類型的列表 ， 用 （ Gamma ） （ 伽瑪 ） 來做表示 。 在靜態類型編程語言中 ， 利用定型環境確定變量的類型 ， 進行類型檢查 。 如果x的類型是int ， 則寫作 。 如果定型環境裏有x, y, z三個變量名 ， 類型分別爲int, bool, string ， 則寫作 。 判斷類型爲char的變量a是否在定型環境裏面 ， 由於定型環境裏只記錄了x, y, z的類型 ， 所以這句表達式的結果是假 。