引用透明性可以简单地表述为:

一个表达式在任何上下文中总是求相同的结果[1]， 一个函数，如果给定相同的参数两次，必须产生相同的结果两次。

例如，编程语言Haskell是一种纯函数式语言;这意味着它是引用透明的。

引用透明函数的作用类似于数学函数;给定相同的输入，它总是会产生相同的输出。它意味着传入的状态没有被修改，并且函数本身没有状态。

表示性语义是建立在建模语言的基础上，通过构建域来构成可表示性值。 函数式程序员使用术语值来描述基于语言重写规则的计算的收敛性。它的操作语义。

在1中，有两种语言的清晰度:

被建模的那个，目标语言 建模的语言，元语言

2、由于对象和元语言的紧密性，它们可能会被混淆。

作为一名语言实现者，我发现我需要经常记住这个区别。

所以Reddy教授，我可以这样解释你吗?

在函数式编程和语义的上下文中，术语引用 透明度不是指的透明。

引用透明函数是只依赖于其输入的函数。

如果你对词源感兴趣(比如。为什么这个概念有这个特殊的名字)，看看我关于这个主题的博客文章。这个术语来自哲学家/逻辑学家奎因。

当我读到被接受的答案时，我以为我在不同的页面上，而不是在stackoverflow上。

引用透明性是定义纯函数的一种更正式的方式。因此，如果一个函数在相同的输入上始终产生相同的结果，那么它就是引用透明的。

let counter=0
function count(){
  return counter++
}

这不是引用透明的，因为返回值取决于外部变量“counter”，并且它一直在变化。

这是我们如何使它的参考透明:

function count(counter){
       return counter+1
   }

现在这个函数是稳定的，并且在提供相同的输入时总是返回相同的输出。