[Caml-list] About overloading( + +. and <)

[Caml-list] About overloading( + +. and <)

[temofey]

Hello

In O'Caml not present overloading. Because operators like "plus",
"minus", "divide" and "multiple" is separate for Integers and Float.
For Int they are "+","-","*" and "/", and for Float they are "+.",
"-.", "*." and "/.".
But compare operators like "<", ">" is the same for Integer, Float,
String. Are they overload? Is this contradiction in terms?

-- 
temofey
temofey@sit.kiev.ua


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] About overloading( + +. and <)

[Jean-Christophe Filliatre]

temofey writes:
 >
 > But compare operators like "<", ">" is the same for Integer, Float,
 > String. Are they overload? Is this contradiction in terms?
 > 

=, < and > are not overloaded, but polymorphic. It means they can be
applied to any two values of the same type, for any type (base types
but also user defined types like tuples, records, recursive 
types, etc.) except functional types (on which we don't know how to
compare values). You may have a look at
byterun/compare.c in ocaml sources to see how this comparison is defined.

It couldn't be the same for arithmetic operations (plus, minus, etc)
because we don't know how to define them on types other than int and
float.

-- 
Jean-Christophe Filliatre
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr