部分適用

複数の引数を取る関数の一部に値を渡し､残りの引数から成る関数を新たに作る手法である｡

code:ocaml

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

let double_map : int list -> int list = List.map (fun x -> x * x)