haskell - Haskell 中的反向函数行为

Question

digits :: Int -> [Int]
digits n  = reverse (x)
    where x  
            | n < 10 = [n]
            | otherwise = (mod n 10) : (digits (div n 10))

*ghci> digits 1234 = [3,1,2,4]*

digits' :: Int -> [Int]
digits' n  =  (x)
    where x  
            | n < 10 = [n]
            | otherwise = (mod n 10) : (digits' (div n 10))

*ghci>digits' 1234 = [4,3,2,1]*

根据我的理解，digits 1234 的计算应该是 [1,2,3,4]。但似乎我错过了什么。谁能解释一下？

Answer 1

问题是 digits 在每次递归调用中都会反转字符串，而不仅仅是在外层一次。试试 digits x = reverse (digits' x)(或者，等价地，digits = reverse .digits')，看看你能否解释其中的区别。