From: Paolo Capriotti <p.capriotti@...>
Date: 2005-09-18T08:42:53+09:00
Subject: Re: you can't get in trouble with your boss for picking C#

On 9/17/05, Lothar Scholz <mailinglists@scriptolutions.com> wrote:
> Hello ToRA,
> 
> 
> T> For example, in Java/C# etc. you have to declare the type of any and
> T> every variable you create.  In languages like ML / Haskell, the
> T> compiler is able to infer the types of your variables (you may
> T> optionally expicitly declare the type of them yourself if you want).
> 
> You forget that this does absolutely not fit into the ruby model. 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.

In Haskell you have both overloaded operators/functions and type inference. 

Paolo