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. Typographically I think these are a good fit, unfortunately they now might play badly with GHC's magic hash operator. Best wishes Stephen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
