2

関数 ( my_path_mapper ) が値の制限を受けていないことがわかりません。

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

教えてください なぜ？

4

1 に答える 1

1

OCaml には「緩和された値の制限」があります。ここでそれについて読むことができます：

ジャック・ガリグ、価値制限の緩和

StackOverflow に関する以前の議論は次のとおりです。

OCaml で値の制限が緩和されるのはいつですか?

于 2016-04-29T20:55:08.503 に答える