的被命名的存储空间。变量通常是可被修改的，即可以用来表示可变的状态。这是许多语言（如Java）的基本概念之一。有的语言可能定义其它术语，如C语言的左值来精确地表示这里的（可能匿名的）存储空间的概念，而“变量”则在变量名的意义上被强调。当某个已宣告变数开始使用，直译器或编译器通常会设定一个空间来储存所给出的值。稍后该变数不再使用时，那些空间可以回收。也有观点认为，变量应该和数学的原意一致，不需要允许它储存的"值"可变，不需要有能力表示可变状态。Haskell的类型变量仍然符合这个含义。有些编程