Haskell 列表生成

Question

我发现了一个有趣的练习并尝试解决它。​​

它要求给定一个数字，它的数字应该以相反的顺序放在一个列表中。

现在，我几乎成功了：

lastDigit :: Integer -> Integer
lastDigit x = x `mod` 10

dropLastDigit :: Integer -> Integer
dropLastDigit x = (x - lastDigit x) `div` 10

numba2listInReverse :: Integer -> [Integer]
numba2listInReverse x = lastDigit x : numba2listInReverse (dropLastDigit x)

第一个函数只返回最后一个数字。第二个返回被剥夺了最后一位数字的数字。最后，最后一个函数生成列表。我的问题是我找不到 stop 递归的方法。查看输出：

Ok, modules loaded: Main.
*Main> dropLastDigit 123
12
*Main> numba2listInReverse 12345
[5,4,3,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0Interrupted.
*Main> 

即使数字用完，它也会继续在列表中添加零。如何解决？

Answer 1

即使数字用完，它也会继续在列表中添加零。

那是因为你没有告诉 Haskell 在数字用完时停止。

你定义了一个递归函数。为了编写好的（阅读终止）递归函数，您需要一个停止条件：停止调用递归的条件。

您可以使用guard：

numba2listInReverse :: 整数 -> [整数] numba2listInReverse x | x == 0 = [] |否则 = lastDigit x : numba2listInReverse (dropLastDigit x)

守卫用竖线字符（|）表示，后面跟着条件（如x == 0和otherwise）。在条件之后，写入“赋值”运算符，然后是条件成立时要评估的表达式。条件会按照您编写它们的顺序进行测试。在重叠的情况下，成功的第一个条件将因此被“解雇”（可以这么说）。 otherwise 等于 True（您可以测试它，例如 ghci），因此如果上述守卫均未触发，则将始终触发。

如果因此将零 (0) 赋予 numba2listInReverse 函数，它将返回空列表（并且不再进行递归）。否则 (otherwise) 它将执行您定义的递归：“发出”最后一个数字作为列表中的第一个符号，然后是递归步骤。

注意：严格来说，Haskell 递归函数不一定需要停止条件：由于惰性求值，一些递归函数可以存在没有停止条件，例如定义一个包含“所有”素数的列表。

---

编辑：如果您想将0 映射到[0]，您不能简单地将上面的代码修改为：

numba2listInReverse :: Integer -> [Integer]
numba2listInReverse x | x == 0 = [0]
                      | otherwise = lastDigit x : numba2listInReverse (dropLastDigit x)

确实，这会导致42 被映射到[2,4,0]。现在你可以通过引入一个辅助函数来解决这个问题，例如处理递归情况：

numba2listInReverse :: Integer -> [Integer]
numba2listInReverse x | x == 0 = [0]
                      | otherwise = help x
    where help x | x == 0 = []
                 | otherwise = lastDigit x : help (dropLastDigit x)

因此，您将非零情况留给help 函数。