数开始使用，直译器或编译器通常会设定一个空间来储存所给出的值。稍后该变数不再使用时，那些空间可以回收。也有观点认为，变量应该和数学的原意一致，不需要允许它储存的"值"可变，不需要有能力表示可变状态。Haskell的类型变量仍然符合这个含义。有些编程语言中的变数必须带有型别。
命名.每种编程语言都有规则指定甚么才可作为变数的名字。使用C和其相关语言，变数名称在语法上称为标识符，必须是由英文字母、数字和底线组成，且必须由字母起头。有时还不可以使用某些保留字命名。使用某些