将列表映射到不同的类型

let map f list =
    let rec loop acc = function
        | []           -> List.rev acc
        | head::tail -> loop (f head::acc) tail
    loop [] list

这个函数的签名是 ('a -> 'b) -> 'a list -> 'b list，它是最通用的。这并不妨碍'a 与'b 的类型相同，但它也允许它们不同。在这里你可以看到作为函数 f 的参数的'a 类型必须与 list 参数的类型匹配。此函数仍然是通用的，但输入有一些轻微的限制 - 如果类型不匹配，则会出现编译错误。

例子：

> let map f list = ...
val it : ('a -> 'b) -> 'a list -> 'b list
> map (fun x -> float x * 1.5) [1; 2; 3; 4];;
val it : float list = [1.5; 3.0; 4.5; 6.0]
> map (sprintf "abc%.1f") [1.5; 3.0; 4.5; 6.0];;
val it : string list = ["abc1.5"; "abc3.0"; "abc4.5"; "abc6.0"]
> map (fun x -> x + 1) [1.0; 2.0; 3.0];;
error FS0001: The type 'float' does not match the type 'int'