haskell - 严格评价的妙用在哪里？

Question

似乎有很多例子表明，用惰性求值的语言可以完成一些聪明的事情，但在严格求值的环境中却无法完成。例如 Haskell 中的无限列表或 replacing every element in a tree with the tree's minimum value in one pass 。

是否有一些例子表明，用严格求值的语言可以完成一些巧妙的事情，而用惰性求值的语言却很难做到？

Answer 1

使用热切(严格)语言而不是懒惰语言可以轻松完成的主要事情:

• 从源代码中预测程序的时间和空间成本

• 允许副作用，包括可变数组的恒定时间更新，这使得更容易快速实现某些算法

在我看来，Eager 语言的主要好处是可以更轻松地让代码按照您想要的方式执行，并且很少会出现代码中的微小更改导致巨大变化的性能陷阱在性能方面。

话虽如此，总的来说，我更喜欢用 Haskell 编写复杂的东西。