The dreaded M-R
Twan van Laarhoven
twanvl at gmail.com
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