Re: Overloaded functions in Ocaml?

>"overloaded" functions means function takes arguments of different types and even >different arity. This is precisely what OCaml does not have. 

  This is not quite true, for Ocaml does allow  functions used with different arities in a limited way, via optional arguments.
 (Personally I never understood the point of optional arguments in OCaml, I find they make the type analysis more complicated and I never use them).