-
3 votesanswersviews
OCaml中的参考透明度
我试图调整引用透明度的定义与OCaml如何处理多态类型和副作用 . 我在http://www.csc.villanova.edu/~dmatusze/resources/ocaml/ocaml.html上读到了 如果定义的含义不依赖于它所处的上下文，则称定义具有引用透明性.OCaml中的函数具有引用透明性，即更改上下文（其他变量和其他函数）不会改变任何函数的含义你已经定义了 . 在调试程序时，这... -
51 votesanswersviews
纯度与参考透明度
这些术语似乎有不同的定义，但我总是想到一个暗示另一个;当表达式是引用透明而不是纯粹或 vice-versa 时，我无法想到任何情况。 维基百科为这些概念维护单独的文章并说： 来自参考透明度： 如果表达式中涉及的所有函数都是纯函数，则表达式是引用透明的。此外，如果丢弃它们的值并且它们的副作用无关紧要，则表达式中可以包含一些不纯的函数。 来自纯粹的表达： 构造纯表达式需要纯函数。 [5]纯表达通... -
3 votesanswersviews
我对可变类的“引用透明度”的理解是否正确？
从“scala 中的函数式编程”一书中，我看到了表达式“referential transparent”的定义： 如果对于所有程序 p，p 的所有出现都可以被评估 e 的结果替换而不影响 p 的含义，则表达式 e 是引用透明的。 我有一些代码示例，我不确定它们是否是引用透明的。 我将在可变类的示例中使用scala.collection.mutable.StringBuilder 1. val ...