f# - 点自由函数不会导致递归，但正常函数会在这里吗？

Question

这里作为附带问题What's the easiest way to do something like delegate multicast in F#我认为最好提出一个带有适当标题的完整问题。

这个版本不会导致递归:(这里的 notify 在 d 中似乎是不可变的)

let mutable notify = fun x -> x
let wrap f i = f(i); i

let a x = printf "%A" x
let d = (notify >> (wrap a)) // point free
notify <- d

notify "ss"

这个版本会。 (此处 notify 在 d 中似乎是可变的)

let mutable notify = fun x -> x
let wrap f i = f(i); i

let a x = printf "%A" x  
let d x =
    (notify >> (wrap a)) x // normal function
notify <- d

notify "ss" // endless loop

另一个失败版本:

let mutable notify = fun x -> x
let wrap f i = f(i); i

let a x = printf "%A" x  
let d =
    fun x -> (notify >> (wrap a)) x // Here
notify <- d

notify "ss" // endless loop

我在哪里可以找到关于为什么我们有这种行为差异的任何指南或更多资源。它是否与特定的编译器/语言相关，或者是否存在适用于所有函数式语言的理论？

Answer 1

不受控制的可变性是造成这种行为的原因。 Haskell 等其他语言使用软件事务内存技术提供受控可变性，从而避免了此类问题。此外，热切的评估在这里起着重要的作用。

let d = (notify >> (wrap a)) :在这种情况下，notify 的任何值都将由 (wrap a)< 组成 并将结果分配给 d

令 d x = (notify >> (wrap a)) x :这里，函数体直到你实际调用 d 函数才会执行，因此你得到了 的变异值通知