Haskell CPS 编程风格问题答案

【问题标题】：Haskell CPS Programming Style ProblemHaskell CPS 编程风格问题
【发布时间】：2010-07-09 00:27:08
【问题描述】：

这是一个使用 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'，这两者有什么区别？

【问题讨论】：

【解决方案1】：

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

如果我们假设 mul 被定义为 mul x y k = k $ x*y，这并没有实际的区别，因为 y 将始终为 0。但得到该结果的实际方法是不同的（除非可能由编译器）。

【讨论】：

【解决方案2】：

不同之处在于，原始定义“短路”尾调用应用程序传递的任何累积乘法，而更改后的表达式仅短路测试值 - 它保留了延续函数的累积“版本” .

【讨论】：