Haskell - 創建集（獨特的排序列表） - 沒有遞歸，沒有結節

Question

是否可以創建一個函數，它將創建一個列表輸入的集合。

我只是想不到任何方式沒有使用遞歸。

我可以使用摺疊，過濾器，地圖，zip等高階函數。我不能在我的函數中遞歸。

顯然我不能使用nub。

我一直在敲我的頭，試圖找出如何擺脫重複沒有遞歸或任何類型的循環（至少我不認爲我們可以使用循環，會問）。

Answer 1

一種方式做到這一點：

1. 分類列表。
2. 拉鍊用尾巴（車削例如[1,1,2,3]成[(1,1),(1,2),(2,3)]）
3. 移除所有其中兩個項是相同的對的列表中。
4. 返回包含排序列表的第一個元素的列表，後面跟着壓縮列表中每對的第二個項目。

在代碼：

import Data.List 

setify [] = [] 
setify xs = x : map snd (filter (uncurry (/=)) (zip sxs (tail sxs))) 
    where sxs = sort xs 
      x = head sxs 

Answer 2

另一個辦法是使用摺疊如果以前已經見過累積值與會員一起檢查。

setify :: (Eq b) => [b] -> [b] 
setify = foldl f [] 
where f acc next | next `elem` acc = acc 
       | otherwise  = next:acc 

不是最快的方法，但它完成了工作。

Answer 3

爲什麼所有的複雜（和錯誤的！）解決方案？只要這樣做：

uniq [] = [] 
uniq (x:xs)= x:(uniq (filter (/=x) xs)) 

setify xs = uniq $ sort xs -- If you want to sort too. 

它從列表的尾部過濾每個元素。簡單。