argument ordering

[Henning Thielemann]

On Mon, 22 Aug 2005, Johannes Waldmann wrote:

> Christian Maeder wrote:
> > Okasaki, C. DR EECS wrote:
> >
> >>   insert 1 a $ insert 2 b $ insert 3 c dict
> >
> >
> > A further argument for this notation is its close resemblance to the
> > notation with function composition:
> >
> > insert 1 a . insert 2 b . insert 3 c $ dict
>
> ... of course keeping in mind that that's exactly the "wrong" way
> to compose functions. See any algebra textbook for
> definition of (f . g) (namely, first apply f, then apply g)

How is this related to the question of argument ordering of 'insert'? If
you prefer the "right order" of function composition you can use a
different composition operator (say #, like in functional Metapost).

dict # insert 3 c # insert 2 b # insert 1 a

But the ordering of arguments of 'insert' must be the same.