的值直到获得最终的“结果值”的程序。通过应用各种从值到值的函数比如加法、串接、逆矩阵等，从现存的值构造新的值。在常规上，都是值级的：在赋值语句右侧的表达式专一的关注建造接着要存储的一个值。基于Lambda演算的语言（比如Lisp、ISWIM和Scheme），在实际实践中都是值级语言，尽管它们不会因而在设计上的受到限制。