使用foldr返回列表的後綴

Question

我需要返回列表的後綴，似乎無法解決它。

給出一個列表[1,2,3]，函數應該返回[[3],[2,3],[1,2,3]]。我們應該使用foldr和輔助函數來解決。

Answer 1

哈斯克爾是：

suffixes = reverse . foldr f [] where 
    f y [] = [[y]] 
    f y (yss@(ys:_)) = (y:ys) : yss 

我不知道SML，但解決的辦法應該是相似的

Answer 2

這裏是@ Landei在SML語法的解決方案：

fun suffixes xs = 
    let 
     fun f (y, []) = [[y]] 
     | f (y, yss as (ys::_)) = (y::ys)::yss 
    in 
     rev (foldr f [] xs) 
    end 

我承擔您可以使用SML Basis Library的rev功能。否則，實現這樣的功能應該很容易。

Answer 3

如何：

[1,2,3,4]將返回[1,2,3,4]，[2,3,4]，[3,4]，[4 ]]：

fun myfun1 l = foldr(fn (a,b)=> if a=nil then [] else a::b@myfun1(tl(l)))[] [l] 

[1,2,3,4]將返回[[4]，[3,4]，[2,3,4]，[1,2,3,4]] ：

fun myfun2 l = foldr(fn (a,b)=> if a=nil then [] else myfun2(tl(l))@a::b)[] [l]