読者です 読者をやめる 読者になる 読者になる

続き

OCaml
# let f x = x#f 1;;
val f : < f : int -> ’a; .. > -> ’a = <fun>
# let g xs = List.map f xs;;
val g : < f : int -> 'a; .. > list -> 'a list = <fun>

めでたしめでたし。