如何在sml/nj中以非遞歸方式展平列表？

Question

fun flat [] = [] 
    | flat (l::ls) = l @ flat ls; 

這將扁平列表。

有沒有辦法以非遞歸方式做同樣的操作？也許與HOFs？

Answer 1

你可以使用高階函數List.foldr：

fun flat xs = List.foldr (fn (x, acc) => x @ acc) [] xs 

正如@Andreas說，上面的函數可以被縮短：

fun flat xs = List.foldr op@ [] xs 

雖然你想實現flat作爲練習，標準庫中的​​完全一樣。