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

John A. De Goes john at n-brain.net
Fri Feb 13 14:15:40 EST 2009

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.


John A. De Goes
The Evolution of Collaboration

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

More information about the Haskell-Cafe mailing list