Lothar Scholz ha scritto:
> You
> can't do type inference with overloaded operators. I don't know
> Haskell but i know a little bit of OCAML and there you have to use the
> ugly floating point operators "+." etc.
> 
> Otherwise there is nothing the compiler can find out.

well, haskell is able to handle overloaded operators, see here:
http://www.haskell.org/tutorial/classes.html

But I think that the Haskell model would be quite hard to retrofit into 
ruby, anyway :)