Elm - 使用列表折疊遞歸類型無法編譯

Question

我正在關注這篇<\/a>關於 catamorphism 的文章，我正在嘗試為這樣的遞歸數據類型定義折疊函數

type Node anyType
    = Leaf Id (Maybe anyType)
    | Tree Id (List (Node anyType))

Answer 1

您已將參數翻轉到List.foldl<\/code> 。 fold 函數首先獲取值，然后是累加器，而您的recurse<\/code>函數首先獲取累加器，然后是值。

對此的簡單解決方法是擴展遞歸函數並在將其傳遞給foldTree<\/code>時翻轉參數：

recurse v a = foldTree fLeaf fTree a v