referential transparency (computer science)

programming），是一种编程范型，它将电脑运算视为函数运算，并且避免使用程式状态（英语：State (computer science)）以及可變物件。 在函数式编程中，函数是头等对象即头等函数，这意味着一个函数，既可以作为其它函数的输入参数值，也可以从函数中返回值，

地址），根据其标识符确定相等。两个分开定义但具有同样内容的函数被判断为不等。 引用相等破坏了引用透明（英语：referential transparency (computer science)），因此纯函数式语言如Haskell不采用这个方法。而另一方面，非纯函数式的语言（如C++）也只能对函数/

如果将一个表达式替代为它的值只在程序执行的特定点上是有效的，则这个表达式不是参照透明性（英语：Referential transparency）的。这些顺序点的定义和次序是指令式编程的理论基础。参照透明性的表达式可以在任何时间求值，既不需要定义顺序点也根本不需要对求值

，增进了代码清晰性。因为单子值所显式代表的不只是计算出的值，而是计算出的作用（effect），单子表达式在参照透明位置（英语：Referential transparency）上可以被替代为它们的值，非常像纯表达式能做到的那样，允许了基于重写的很多技术和优化。

lambda calculus are automatically preserved. Thus, referential transparency（英语：referential transparency） is enforced. This in turn implies that there are