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. Twan _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime
