，即它们的元素"在需要时"被逐步的定义。纯函数式语言，由于值之间相互独立，可以提供在并行计算上的优势，它避免了顺序的一时一步执行的冯·诺伊曼瓶颈。非纯函数式语言，同时提供了单赋值和真赋值（尽管相比指令式编程语言而言真赋值典型的较少使用）。例如，在Scheme中，单赋值（通过codice_10），和真赋值（通过codice_11），二者都可以用于所有变量上，并提供专门的原语（primitive）用于在列表、向量、字符串等之内做破坏性更新。在OCaml中，只有单赋值，通过codice_12语法，被允许用于变