Warum dieser OCaml-Code nicht der Werteinschränkung unterliegt

Question

Ich verstehe nicht, dass die Funktion (my_path_mapper) nicht der Werteinschränkung unterliegt.

# 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> 

Bitte unterrichten Sie mich Warum?

Answer 1

OCaml hat eine "entspannte Werteinschränkung". Sie können hier darüber lesen:

When does the relaxed value restriction kick in in OCaml?

:

Jacques Garrigue, Relaxing the Value Restriction

Hier ist eine vorherige Diskussion über Stackoverflow ist