On 2002-10-29 at 04:09PST Ashley Yakeley wrote:

At 2002-10-29 03:42, Jon Fairbairn wrote:

...

But we could just make $ the primitive instead of juxtaposition (and infix the primary form).

Then f a is shorthand for f $ a and it stops there.

But then how would you overload $?

The class Function and it's first instance would have to be built in (not too onerous since function application is anyway). Not that I'm necessarily in favour of this, you understand. -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk 31 Chalmers Road jf@cl.cam.ac.uk Cambridge CB1 3SZ +44 1223 570179 (after 14:00 only, please!)