高級函數toList

Question

如何通過set.fold或set.foldback定義一個函數toList等價於set.toList？ 我已經做了這個功能，但我很確定它不正確。

let toList predicate items = 
List.foldBack (fun item state -> 
       match predicate item with 
       | false -> state 
       | true -> item::state 
      ) 
       items 
       [] 
//test 
toList (fun x -> x > 0) [-2;-1;0;1;2] 
//output 
//val toList : predicate:('a -> bool) -> items:'a list -> 'a list 
//val it : int list = [1; 2] 

任何提示/幫助？

Answer 1

下面的函數應執行相同Set.toList

let toList set = Set.foldBack (fun it acc -> it::acc) set [] 

使用Set.fold代替Set.foldBack將扭轉結果列表的順序。

您當前的函數將具有基於謂詞過濾列表的效果，相當於List.filter。