The dreaded M-R

Twan van Laarhoven twanvl at
Fri Jan 27 19:13:24 EST 2006

Benjamin Franksen wrote:

 > My personal opinion is that it should be exactly the other way around:
 > All normal bindings (i.e. using '=') should be as polymorphic and
 > general as possible.

Do you mean *all* bindings, or only top-level ones? If you really mean 
all, wouldn't e be polymorphic (with type Num a=>a) in, say:
 > f x = e + e
 >    where e = very_expensive_polymorphic_function x

That would be a Very Bad Thing.


More information about the Haskell-prime mailing list