There is exponential growth of possibilities in compound expressions.
And I'm afraid that ambiguities would happen in unexpected places and
it would not be easy to find where to add type signatures. Especially
as there is less explicit type information than in many other
statically typed
On 07-Feb-2001, Marcin 'Qrczak' Kowalczyk [EMAIL PROTECTED] wrote:
So why is fmap separate now? Probably because having too much
overloading causes ambiguities.
Perhaps. But I think there may be other reasons too.
Having fmap separate is useful for beginners and for teaching,
because you can
Wed, 7 Feb 2001 10:08:14 +0100 (MET), Johannes Waldmann
[EMAIL PROTECTED] pisze:
getLine:: IO String; getLine :: Handle - IO String
At each usage of getLine, the typechecker should follow both tracks,
and take the one that is type-correct.
There is exponential growth of possibilities in