对递归函数的最终结果做一些事情，在同一个函数中

Question

显示比解释更容易。我有这个小函数可以从基数 10 进行基数转换：

demode 0 _ = [] 
demode n b = m:(demode d b)
 where (d, m) = divMod n b

所以，如果我们想看看如何以 9 为基数写出 28，则将 28 9 = [1,3] 解调。 但是，当然，我们必须反转列表，使其看起来像 31。 这可以通过创建一个调用“demode”然后反转它的函数来轻松实现，但是 Haskell 非常酷，而且可能有一种更优雅的方式来表达“在最终情况下（demode 0 _），追加所有内容到一个列表，然后反转该列表”。

请注意，基本转换只是我用来说明问题的一个示例，真正的问题是如何将最终转换应用于递归函数的最后一个结果。

Answer 1

不。您唯一的希望是使用辅助函数。请注意，Haskell 确实 允许您在 where 子句中定义函数（至少现在是这样），因此在单独的顶层意义上不必是“单独的函数”定义。你基本上有两种选择：

添加一个累加器，最后做任何你想做的工作：

demode n b = w n [] where
    w 0 xn = reverse xn
    w n xn = w d (xn ++ [m]) where
        (d, m) = divMod n b

希望你能按照它的工作原理进行操作，但请注意，在这种情况下，你最好说

demode n b = w n [] where
    w 0 xn = xn
    w n xn = w d (m : xn) where
        (d, m) = divMod n b

它以相反的顺序构建列表并返回它。

将常规定义下推到辅助函数中，并将该函数包装在您想要的任何工作中：

demode n b = reverse (w n) where
    w 0 = []
    w n = m : w d where
        (d, m) = divMod n b

（在所有三个示例中，我都使用术语 w 作为“工人”的简写）。

这两种情况通常都可以从学习使用高阶函数进行递归中受益。

一般来说，在 Haskell 中尝试“在一个函数中做所有事情”有点糟糕； Haskell 风格是围绕将问题分成多个部分，解决具有单独功能的部分，并将结果功能组合在一起而构建的； 尤其是如果这些功能在其他地方也有用（这种情况发生的频率比你天真的预期的要多）。