argument ordering
Henning Thielemann
lemming at henning-thielemann.de
Mon Aug 22 10:31:48 EDT 2005
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.
More information about the Libraries
mailing list