標識符：identifier 是一個字符串，通常由字母和數字組成。用來指向一個實體。所有的標識符都是名字，但不是所有的名字都是標識符，名字也可以是一個表示式，比如 x.y 。其中，x或者 y 是標識符也是名字，而 x.y 只能被叫作名字，而不能稱之為標識符。
變量：變量表現的是開辟了某個特定的內存位置。同一個標識符被多次聲明是很常見的事情，每一個聲明引入一個新的變量。在遞歸 情況下，即使每個標識符只被聲明一次，但在遞歸過程中的局部標識符將在不同的時刻指向不同的位置。
環境和狀態：
環境由語言的作用域規則決定，它是名字到存儲位置（變量）的映射。大部分名字到位置的綁定是動態的。某些全局變量的聲明可以一勞永逸地分配一個存儲位置。
狀態是一個從內存位置到值的映射。一般來說這也是動態綁定的。被聲明的常量是一個例外，它會將名字靜態地綁定為一個值，並且不可重新綁定。
