Haskell 反向函数

Question

对 Haskell 非常陌生，并试图创建我自己的反向函数。在这里写了这个，但它总是返回一个空列表 [] :

reverse' :: [a] -> [a]
reverse' xs = [xs !! k | k <- [((length xs) - 1)..0]]

谁能解释我做错了什么？

谢谢

Answer 1

如groovy提到，Haskell 范围大多是增量的——也就是说，除非你给它一些提示，否则它不知道如何构造一个递减列表。看看下面的 ghci session :

Prelude> [5..0]
[]
Prelude> [5,4..0]
[5,4,3,2,1,0]

所以，你可以构造这样的东西:

foo xs = [(length xs-1), (length xs -2)..0]
rev xs = [xs !! k| k <- foo xs]

在 ghci 中检查如下:

Prelude> rev [1..5]
[5,4,3,2,1]

看看 Unexpected result while reversing a list和 How can I write reverse by foldr efficiently in Haskell?有关反转列表的其他想法。