反轉Haskell中的自定義嵌套列表

Question

我正在嘗試反轉Haskell中的嵌套列表。 我知道嵌套列表在Haskell中不是一回事，因此我定義了一個：

data NestedList a = Elem a | SubList [NestedList a]

我也有一個flatten函數：

flatten :: NestedList a -> [a]
flatten (Elem x) = [x]
flatten (SubList x) = concatMap flatten x

現在，我想編寫我的反向函數。 該函數定義為：

myreverse :: NestedList a -> NestedList a

我認為這是有道理的，因為我只是重新排列了列表中的元素。

我了解如何編寫基本的反向函數，並且我也知道對於Haskell的標准列表，反向已經定義。

我的問題是：如何處理列表的頭也是列表的情況？ 我知道需要做的是，我將列表的開頭反轉並將其放回末尾。 但是如何實現呢？

Answer 1

為什么不這樣

rev :: NestedList a -> NestedList a
rev (Elem a) = Elem a
rev (SubList xs) = SubList $ map rev $ reverse xs

如果您在數據定義中添加派生（顯示），

Prelude> rev $ SubList [Elem 1, SubList [Elem 2, Elem 3]]
SubList [SubList [Elem 3,Elem 2],Elem 1]

Prelude> rev $ SubList [Elem 1, SubList []]
SubList [SubList [],Elem 1]

Answer 2

您的嵌套列表實際上是一棵在葉子處有元素的樹：

                 SubList
               /         \
        SubList           Elem 4
    /      |      \
Elem 1   Elem 2   Elem 3

因此，您的myreverse將是水平翻轉，即，如其他答案所指出的， SubList中每個列表的遞歸reverse 。

此處的課程：可視化數據結構有助於理解和執行數據結構。