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 =k0中将‘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。但是，获得该结果的实际方法是不同的(除非编译器可能进行优化)。

Answer 2

不同之处在于，最初的定义是“短路”--任何由尾叫应用程序传递的累积乘法，而变化的表达式只测试值--它保持连续函数的累积“版本”。