，变量应该和数学的原意一致，不需要允许它储存的"值"可变，不需要有能力表示可变状态。Haskell的类型变量仍然符合这个含义。有些编程语言中的变数必须带有型别。
命名.每种编程语言都有规则指定甚么才可作为变数的名字。使用C和其相关语言，变数名称在语法上称为标识符，必须是由英文字母、数字和底线组成，且必须由字母起头。有时还不可以使用某些保留字命名。使用某些语言，变数的名字同时告诉了这个变数带有甚么种类的值。例如FORTRAN的程式里，变数的首个字母显示了它是整数还是浮点数