"Neil Mitchell" <[EMAIL PROTECTED]> wrote:

> i.e. lift the arities to the longest argument list.
> 
> Is there a reason this isn't done?
> 
Most likely not, there are being made up right now.

Because

f = sort.nub

is different from

f x = (\x -> sort.nub x)

or

f = sort.nub.id

or 

f = sort.nub.id.id.id.id.id.id

, and such behaviour would confuse the hell out of me as well as
seriously hurt my sense of semantic aesthetics, even if it's just
no-ops. Or the same lambda term, which is exactly my point.


-- 
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to