Haskell 为什么懒惰与引用透明性相匹配？
我在读一篇哈斯克尔教程（向你学习哈斯克尔），作者在其中说，懒惰与引用的透明性是相辅相成的。经过更多的阅读和搜索，我仍然不明白为什么。请注意，我确实理解引用透明性和懒惰的好处，但正是它们一起困扰着我 两者结合有什么特别的好处吗Haskell 为什么懒惰与引用透明性相匹配？,haskell,lazy-evaluation,referential-transparency,Haskell,Lazy Evaluation,Referential Transparency,我在读一篇哈斯克尔教程（向你学习哈斯克尔），作者在其中说，懒惰与引用的透明性是相辅相成的。经过更多的阅读和搜索，我仍然不明白为什么。请注意，我确实理解引用透明性和懒惰的好处，但正是它们一起困扰着我 两者结合有什么特别的好处吗 或者作者只是想说它们都很好，并且表达得含糊不清？引用透明性意味着函数在给定相同输入的情况下总是返回相同的输出。因此，if与函数是惰性函数还是严格函数无关。lazy函数将在将来的某个未知时间计算其输出，但由于引用透明性，可以保证给定输入的输出始终相同 因此，在某种程度上，引用
或者作者只是想说它们都很好，并且表达得含糊不清？引用透明性意味着函数在给定相同输入的情况下总是返回相同的输出。因此，if与函数是惰性函数还是严格函数无关。lazy函数将在将来的某个未知时间计算其输出，但由于引用透明性，可以保证给定输入的输出始终相同
因此，在某种程度上，引用透明性确保了惰性函数的正确性。这真的很容易。非严格（如懒惰）评估意味着任务可以推迟。但是为了推迟一些事情，你最好确定你以后会得到和现在一样的结果，这就是引用透明性。考虑这个命令性的java代码：
long start = System.currentTimeMillis(); //get the start time
runBenchmarkFunction();
System.out.println("Run took " + (System.currentTimeMillis() - start) + " ms");
现在，惰性语言会推迟第一行的求值，因为第三行只需要start。因此结果将为0（或非常接近）。也许那不是你想要的。出现该故障的原因可能是System.currentTimeMillis是非引用透明的。在这种情况下，如果它是一个“数学意义上”的函数，比如sin或ln，它是引用透明的。考虑一下Python代码，其中生成器用于惰性地计算无限序列。由于它使用全局状态，所以它没有引用透明性，因此生成器的调用方无法确保它们得到的结果没有受到其他事件的影响
foo = 0
def foo_sequence():
global foo
while True:
foo += 1
yield foo
>>> generator = foo_sequence()
>>> generator.next()
1
>>> generator.next()
2
>>> foo = 5
>>> generator.next()
6
在这种情况下，调用者更愿意以原子方式生成整个序列，以防止此类事件发生。因此，缺乏引用透明度（在这个人为的例子中）使得懒惰没有吸引力。非常好的例子。当然，在Haskell中也有可能破坏引用的透明性，尽管通常会有警告标志。@John:你是说使用原始内容还是
unsafePerformIOsafeunsafePerformIOunsafeIO aa>currentTime>=\st->runBenchmarkFunction>>currentTime>=\end->putStrLn“它花了”++（show$end-st）++“秒”