[Haskell-cafe] Re: All equations must have the same arity - why?

[Achim Schneider]

"Neil Mitchell" <ndmitchell at gmail.com> 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.