Stephen Tetley schrieb: > On 11 October 2010 00:00, Johannes Waldmann > <waldm...@imn.htwk-leipzig.de> wrote: >>> My point was: you need to find/define two operators, not just one. >> Sure, I need flip ($) and flip (.) >> >> Since the Prelude forgot to define these (and flip map), >> the question was: are there established names for these two operators? >> > > (#) was quite "established" for flip ($) around 2000 - its in a couple > of papers that appeared at the PADL conferences - one written by Erik > Meijer, Daan Leijen and (I think) James Hook on scripting Microsoft > Agents with COM. The authors noted reverse application with (#) gave > code a nice OO-like reading. > > The other was Peter Thiemann's Wash - (#) is again flip ($) and (##) > is flipped compose.
also in Functional Metapost. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
