java透明度_纯度与参考透明度

我有点不确定我在这里给出的答案，但肯定会有人指出我们在某个方向。 :-)

“纯度”通常被认为是指“缺少 side-effects”。如果一个表达式的评估缺乏 side-effects，那么它就是纯粹的。那是什么 side-effect？在纯粹的函数式语言中，side-effect 是任何不通过简单 beta-rule 的东西(评估函数应用程序的规则与替换形式参数的所有自由出现的实际参数相同)。

例如，在具有线性(或唯一性，此时此区别不应该打扰)的函数式语言中，允许某些(受控)突变类型。

所以我想我们已经找出了“纯度”和“side-effects”的含义。

参考透明度(根据你引用的维基百科文章)意味着变量可以被表示的表达式(缩写，代表)替换而不改变手头程序的含义(顺便说一句，这也是一个难以解决的问题，并且我不会在这里尝试这样做)。因此，“纯度”和“参照透明度”确实是不同的东西：“纯度”是某种表达的属性，大致意味着“在执行时不产生 side-effects”而“参照透明度”是指与变量和表达有关的属性。 for 和 means 表示“变量可以用它表示的内容替换”。

希望这会有所帮助。