utop # List.map;;
- : ('a -> 'b) -> 'a list -> 'b list = <fun>
принимает функцию f : 'a -> 'b
, которая возвращает значение типа 'a
к значению типа 'b
и возвращает функцию из списка 'a
s в список 'b
s:
utop # List.map int_of_float;;
- : float list -> int list = <fun>
В этом случае int_of_float : int -> float
является нашим f
, поэтому мы получаем функцию из списка float
с в список int
с.
utop # List.map int_of_float [1.0;2.0;3.0];;
- : int list = [1; 2; 3]