参考透明度

Question

当术语“不可观察”与函数式编程中的术语“引用透明”一起使用时，其含义是什么？

Answer 1

您可能知道，术语“引用透明”意味着表达式的值只能取决于其各部分的值，而不取决于有关它们的任何其他事实。

例如，它不能依赖于以下内容：

• 表达式的某些部分是否已被求值（在惰性语言中）
• 两个相等的值是否共享（指向内存中同一位置的指针）
• 数据结构是否是循环的（即它的指针创建一个循环）或不是

所有关于程序当前状态的事实要么是真要么是假，但是没有任何表达式可以根据它们改变其值。所以这些东西被称为不可观察。

此网络漫画和其在 reddit 上的讨论也可能会给您带来启发。