Haskell CPS 编程风格问题

Question

这是一个使用 CPS 样式将列表中的元素相乘的函数

mlist xx k = aux xx k
  where aux [] nk = nk 1
    aux (0:xs) nk = k 0
    aux (x:xs) nk = aux xs $ \v -> mul x v nk

如果我将表达式aux (0:xs) nk = k 0中的'k'更改为'nk'会怎样，两者之间有什么区别？

Answer 1

k 始终是传递给 mlist 的原始延续，而对于列表 [1, 0] nk 在这种情况下将是 \v -> mul 1 v k(来自 aux 的第三种情况)。

如果我们假设 mul 定义为 mul x y k = k $ x*y，则这不会产生实际差异，因为 y始终为 0。但是达到该结果的实际方法是不同的(除非编译器可能进行优化)。