如何对 Haskell 中的 function 中的递归数据类型进行递归

Question

我正在尝试实现从自定义数据类型Page返回所有标题的menu function

data Page = Text String
         | Title String [Page] deriving(Show)
menu :: Page -> [String]
menu (Text a) = []
menu (Title name content ) = [name]

但我也想要这个 function 也适用于页面的一些“层次结构”，例如，像index ：

index = Title "Home" [
  Title "Welcome!"[
    Text "Hello World!", 
    Title "Lorem"[Text "ipsum"]],
  Title "dolor"[
    Title "no title" [Text "Haskell"],
    Title "Look!" [Text "test"]],
  Title "Finish" [Text "It will be look great"]]

我为此做了一些功能，但我不知道如何开始递归“层次结构” Page

menu :: Page -> [String]
menu (Text a) = []
menu (Title name content ) = [name]

output 是

*Main> menu index
["Home"]

但是我可以列出index中的所有Title吗？

非常感谢您的回答！

Answer 1

一种方法如下：

data Page = Text String
         | Title String [Page] deriving(Show)
menu :: Page -> [String]
menu (Text a) = [a]
menu (Title name content) = name : concatMap menu content

data Page = Text String
         | Title String [Page] deriving(Show)
menu :: Page -> [String]
menu (Text a) = [a]
menu (Title name content) = name : concatMap menu content

一个小测试：

λ> menu index
["Home","Welcome!","Hello World!","Lorem","ipsum","dolor","no title","Haskell","Look!","test","Finish","It will be look great"]

我们正在使用concatMap 。

由于Text a是叶子，我们将提取a作为[a]返回列表中的字符串，它是它的String 。

Title name content有 2 个部分。 name只是一个字符串，所以我们将它添加到列表中并递归调用menu 。 但是我们不能只是map menu over content ，因为 content 是Page的列表。 这意味着我们有一个递归数据类型列表。 所以我们使用concatMap来连接列表中每个Page生成的列表。

如果您想跟踪字符串是Title还是Text ：

data Page = Text String
         | Title String [Page] deriving(Show)
menu :: Page -> [String]
menu (Text a) = ["Text " ++ a]
menu (Title name content) = ("Title " ++ name) : concatMap menu content