clojure - 是否应将延迟视为不可变值？

Question

我非常喜欢使用不可变值进行编程的 Clojure/函数式方法。

但是我不确定 delay应该被认为是一个不可变的值(假设你延迟了一个纯函数)。我对较大的不可变数据结构中存在一个或多个延迟的情况特别感兴趣。

例如包含延迟的向量:

[1 2 (delay (reduce + (range 1000)))]

据我所知，它的行为就好像它是一个不可变的值，因为在您强制对其进行评估之前您看不到延迟的结果 - 然后结果被缓存并且该值永远不会改变之后。

以这种方式将延迟视为不可变值是否存在任何问题？

Answer 1

延迟模拟通常称为 thunk 的东西，它是对尚未计算的表达式的引用，一旦被强制，它就会被其结果替换，此后是不可变的。 Haskell 使用这种内部可变的 thunk 来模拟非严格评估。表达式 [1, 2, foldl1 (+) [0..1000]] 在名义上与其在具有严格评估的语言中的显式延迟等价物相同。

当然，前提是延迟对象中使用的函数是纯函数，将其视为不可变的没有坏处。您可以通过几种方式来考虑这一点:

• 根据定义，纯函数可以用其结果替换。

• 局部突变(在本例中为延迟对象)不会使函数变得不纯。

当然，Clojure 不区分纯函数和非纯函数，因此作为开发人员，您需要勤奋学习。