Why this OCaml code does not subject to the value restriction

Question

I don't understand that the function (my_path_mapper) doesn't subject to the value restriction.

# let rec my_map ~f l =
  match l with
    [] -> []
  | h::t -> f h::my_map f t;;
      val my_map : f:('a -> 'b) -> 'a list -> 'b list = <fun>
# let my_path_mapper =
  my_map ["/usr/sbin"; "/usr/bin"; "/sbin"; "/bin"; "/usr/games"; "/usr/local/games"];;
  val my_path_mapper : f:(string -> 'a) -> 'a list = <fun>

Please teach me Why ?

score 1 · Accepted Answer · edited May 23 '17 at 11:45

1

OCaml has a "relaxed value restriction." You can read about it here:

Jacques Garrigue, Relaxing the Value Restriction

Here is a previous discussion on StackOverflow:

When does the relaxed value restriction kick in in OCaml?

edited May 23 '17 at 11:45

Community

1
1

answered Apr 29 '16 at 20:55

Jeffrey Scofield

65,646
2
72
108

Why this OCaml code does not subject to the value restriction

1 Answers1