6.8.1 映射、篩選和摺疊（Mapping, filtering, and folding）

標籤：io   使用   sp   on   代碼   bs   c   應用   nbsp   

6.8.1 映射、篩選和摺疊（Mapping,filtering, and folding）

 

映射、篩選和摺疊是函數編程中最常見的操作；在處理函數式列表時，我們已經用到過，但它們還支援所有其他的集合類型（我們將在第十和十二章討論其中一部分）；這些操作並不限於集合，所有的操作都可用於處理選項類型。

清單 6.25 顯示了映射、篩選和摺疊函數的簽名類型，清單中包括了我們尚未討論過的Option.filter 和 Option.fold 函數。

 

清單6.25 map、filter 和 fold 函數簽名 (F#)

// map operation

val mapFirst : (‘a -> ‘b) -> ‘a * ‘c-> ‘b * ‘c

val List.map : (‘a -> ‘b) -> ‘a list-> ‘b list

val Option.map : (‘a -> ‘b) -> ‘aoption -> ‘b option

 

// filter operation

val List.filter : (‘a -> bool) -> ‘alist -> ‘a list

val Option.filter : (‘a -> bool) ->‘a option -> ‘a option

 

// fold operation

val List.fold : (‘a -> ‘b -> ‘a)-> ‘a -> ‘b list -> ‘a

val Option.fold : (‘a -> ‘b -> ‘a)-> ‘a -> ‘b option -> ‘a

 

映射操作能夠對以某種方式括在組合值中的任何元素，執行作為第一個參數而給定的函數。對於元組，只使用一次；對於選項值，可能調用一次，也可能根本不調用；對於列表，在列表中的每個元素調用一次。有鑒於此，選項值可以視為包含零個或一個元素的列表。

這也解釋了建立 Option.filter 能做些什麼。對於沒有元素的選項值，將返回 None；對於有一個值的選項，會測試是否匹配條件，根據結果返回Some 或 None。這個函數很少使用，因此，它不是F# 核心庫的一部分；根據這一章嘗到的知識，你自己應該能夠輕鬆實現。那麼，篩選包含偶數的選項值，代碼可能像這樣：

 

> Some(5) |> Option.filter (fun n-> n%2 = 0);;

val it : int option = None

 

如果我們類比列表和選項，那麼，這段代碼篩選包含一個值的列表，結果是空列表。清單中下一個新函數是 Option.fold，它有三個參數：彙總函式，初始狀態，和選項值。當值為 None 時，返回初始狀態；另一方面，選項包含 Some 值時，摺疊操作使用彙總函式，把它與給定的初始值組合起來。

這又是類似於摺疊操作處理列表的方式，因此，列表和選項的類比非常有用。類比也可以是另一種方式，我們已經知道綁定操作處理選項，因此，這個概念同樣可以應用到列表。

6.8.1 映射、篩選和摺疊（Mapping, filtering, and folding）