At 11:57 +0900 1999/06/02, Frank A. Christoph wrote:
>> I just wish a standard operator is chosen for a) flip (.) and b) flip
>> ($) instead of having everyone make up their own. I don't really care
>> what it is. I truthfully like >.> for flip (.) and # for flip ($) but I
>> can easily change.
>
>The standard notation for flip (.) is ;, but unfortunately Haskell co-opted
>this for lexical purposes...
In math, f . g is written f o g, so for flip(.) I decided to use a filled
circle (filled o). This might be used the day Haskell goes Unicode. :-)
On flip($), one may note that in Church, "The Calculi of
Lambda-Conversion", the notation (written out here using TeX code) $M^N =
N(M)$ is used. So one may think of variations of an exponential as a symbol
for flip($).
One reason flip(.) might be given a symbol similar to multiplication and
flip($) a symbol similar to exponentiation is that on the Church integer
functionals, these two operations are just the multiplication and
exponentiation of those integer functionals.
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
