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.