Haskell列表反转异常求助：如何实现正确的列表反转？

首先，我们来分析你当前代码的问题：你的check_1函数已经在递归中将数字的各位按从高位到低位的顺序拼接成列表（比如输入12345会得到[1,2,3,4,5]），但你把check_2（也就是reverse）的调用放在了check_1内部，这可能导致逻辑混淆，甚至从你的输出结果来看，可能存在意外的递归逻辑偏差。

我们可以通过调整函数职责和check_2的调用位置来修复这个问题：

方案1：清晰拆分职责，正确调用反转函数 #

让check_1只负责将数字转换为顺序的各位列表，input函数统一调用check_2来反转这个列表，代码逻辑会更清晰，也能得到正确结果：

input :: Int -> [Int]
input x = check_2 (check_1 x)  -- 在input中集中处理反转逻辑

check_1 :: Int -> [Int]
check_1 0 = []
check_1 x = check_1 (x `div` 10) ++ [x `mod` 10]

check_2 :: [Int] -> [Int]
check_2 = reverse  -- 直接复用Haskell内置的高效reverse函数

测试这个代码：

Prelude> input 12345
[5,4,3,2,1]

方案2：优化性能的简洁实现 #

如果你处理的数字很大，使用++拼接列表会因为每次遍历左侧列表导致效率较低，此时可以用更简洁的递归逻辑直接生成反转后的列表，完全不需要额外调用reverse：

input :: Int -> [Int]
input 0 = []
input x = x `mod` 10 : input (x `div` 10)

这个版本直接递归取数字的个位，并将其放到列表头部，输入12345时会依次生成5 : input 1234、5 : 4 : input 123，最终直接得到[5,4,3,2,1]，既高效又简洁。

内容的提问来源于stack exchange，提问作者user9525655