Proposal: Add (&) to Data.Function

Edward Kmett 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

-Edward

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
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121120/cf89602f/attachment.htm>


More information about the Libraries mailing list