Proposal: Add (&) to Data.Function
ekmett at gmail.com
Tue Nov 20 21:27:36 CET 2012
Note: (>>>) is a completely different operator.
>>> is flipped (.). The proposed & is flipped $.
(>>>) :: Category cat => cat a b -> cat b c -> cat a c
(&) :: a -> (a -> b) -> b
On Tue, Nov 20, 2012 at 3:14 PM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:
> On Tue, 20 Nov 2012, Yitzchak Gale wrote:
> It is a common idiom to write a sequence of composed combinators in
>> reverse order to the way they would be written with ($) or (.). That
>> naturally expresses the idea of the combinators as operations being
>> applied in the given order.
>> This comes up so often, and is commonly used so many times in a single
>> expression, that Control.Arrow.>>> is far too wordy, and even a two-
>> character operator is awkward.
> Functional metapost called it (#). But for me (>>>) is ok. It is even more
> descriptive than (&).
> Libraries mailing list
> Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries