值_(電腦科學)

在計算機科學中 ， 值  是一無法進一步求值的表達式 。 例如 ， 表達式 “ 1 + 2 ” 不是一個值 ， 因爲它可以被化簡爲表達式 “ 3 ” 。 表達式 “ 3 ” 不能夠繼續化簡 ， 因此它是一個值 。 表達式既有類型 （ type ） 屬性 ， 又有值分類 （ value categories ） 屬性 。 兩種屬性彼此獨立 。 也就是說 ， 對每一種類型的表達式 ， 都有各種值分類 。 大多數編程語言支持幾種常見的值 。