RE: Functional composition operator?

From: Anton Moscal (msk@post.tepkom.ru)
Date: Wed Dec 09 1998 - 17:17:23 MET


Date: Wed, 9 Dec 1998 19:17:23 +0300 (MSK)
From: Anton Moscal <msk@post.tepkom.ru>
To: Andrew Kay <akay@sharp.co.uk>
Subject: RE: Functional composition operator?
In-Reply-To: <199812081808.SAA01875@byrd.sharp.co.uk>

On Tue, 8 Dec 1998, Andrew Kay wrote:

> From: John Whitley <whitley@cse.buffalo.edu>
> > is there a consensus for choice of infix composition operator?
>
> In the end we settled on >> and << for forward and reverse
> composition respectively, satisfying the equations:
>
> (f << g) x = f (g x) = (g >> f) x

In camlp4 << and >> are used as quotes for invocation of quotation
expander. Your proposals will interfere with camlp4. I propose <<<
and >>> (this also leads to problem with camlp4, but this issue can be
solved).

Regards,
Anton



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:17 MET