List.Map

List.map 有一個簽名 ('a -> 'b) -> 'a list -> 'b list，它在英語中是一個函式，它將一個函式（我們稱之為對映函式）從一種型別（即'a）轉換為另一種型別（即'b）和第一種型別的列表。該函式返回第二種型別的列表，其中每個元素都是在第一個列表的元素上呼叫對映函式的結果。

List.map string_of_int [ 1; 2; 3; 4 ]
#- [ "1"; "2"; "3"; "4" ] : string list

'a 和'b 的型別不必相同。例如，我們可以輕鬆地將數字對映到它們的方塊。

let square x = x * x in
List.map square [ 1; 2; 3; 4 ]
#- [ 1; 4; 9; 16 ] : int list