[Haskell-cafe] Re: Overloading functions based on arguments?

[John A. De Goes]

On Feb 13, 2009, at 12:07 PM, Jonathan Cast wrote:
> Exactly!  But if it fails, why on earth should any other use of map in
> the module succeed?


Because more information is known about other usages of map. Such is  
the nature of type inference.

If you wanted to go a step further, then I suppose you could see how  
warmFuzzyThingFirstOperation is used and if it can be typed in exactly  
one way.

Regards,

John A. De Goes
N-BRAIN, Inc.
The Evolution of Collaboration

http://www.n-brain.net    |    877-376-2724 x 101