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

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

On Feb 13, 2009, at 11:49 AM, Jonathan Cast wrote:
> It breaks type inference.  I explained this at the time.  I can  
> explain
> it again:
>  import Data.List
>  import Data.Set
>  import Data.Map
>  warmFuzzyThingFirstOperation = map
> This gives an error currently.  Quite properly.  But if *any* use of
> `map' type-checks, with those imports, why on earth should this one
> fail?  You don't want to remove a wart from the language, you want to
> introduce one!

Umm, no, that would still give an error. See definition of "one and  
exactly one".


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