者显式声明为可变（意味着能够在其初始化声明之后被变更）的记录字段和对象。使用单赋值的函数式编程语言，包括Clojure（针对数据结构，而非变量）、Erlang（相比Haskell，它接受多次赋值，如果值相等的话）、F#、Haskell、Lava、OCaml、Oz（对用数据流变量，而非cell）、Racket（对于一些数据结构如列表，而非符号）、SASL、Scala（对于变量）、SISAL、Standard ML。非回溯的Prolog代码可以被看作“明显的”单赋值，这里明显的含义为，它的（命名）变量可以显