，但没有指定值。在第三行，变数codice_5被重新指定为数值23。在第四行中，变数codice_6被指定为浮点数值32.4f。
单赋值.任何改变现存值的赋值（比如codice_9），在纯函数式语言中都是不允许的。在函数式编程中，赋值是被劝阻的，用以支持也叫做“初始化”的单赋值。单赋值是名字绑定的用例，不同于本文其他部分描述的赋值之处在于，它只能做一次，通常是在变量被创建的时候，不允许后续的重新赋值。表达式的求值，如果不改变机器的可察见状态，并且对相同的输入产生相同的值