OCaml unit -> unit和'a -> 'aOCaml有什么区别？
例如:
# let f g a = if (g a > a) then a ;;
val f : (unit -> unit) -> unit -> unit = <fun>
# let f g a = if (g a > a ) then a else a;;
val f : ('a -> 'a) -> 'a -> 'a = <fun>
为什么第一个给出unit -> unit第二个'a -> 'a？