>>>>> "Marcin" == Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes:
> I don't know, I use non-flipped (.). But if we wrote function
> application in the "argument + function" order, composition would
> certainly be written backwards as well.
Actually, it makes good sense to think of "backwards application"
as a kind of exponentiation, and backwards composition as a kind of
multiplication. Then "lifted" composition \c->(c^a)*(c^b) behaves like
addition, and (flip const) as zero.
If anyone is interested in more details, look at
http://www.dcs.ed.ac.uk/~pgh/arithmetic.lhs. It is
at least amusing, and sometimes even quite practical.
--
Peter Hancock
