Flipped function application

Simon Peyton-Jones simonpj
Thu Oct 10 17:23:15 UTC 2013


I quite like that.  ($$), that is.  Better than (&)

Simon

| -----Original Message-----
| From: Libraries [mailto:libraries-bounces at haskell.org] On Behalf Of
| Twan van Laarhoven
| Sent: 10 October 2013 18:20
| To: libraries at haskell.org
| Subject: Re: Flipped function application
| 
| On 10/10/13 16:16, David Menendez wrote:
| > we don't need new name suggestions at this point, but:
| >
| > Consider <**> :: f a -> f (a -> b) -> f b.
| >
| > That suggests <$$> :: f a -> (a -> b) -> f b by analogy, so maybe $$
| :: a -> (a
| > -> b) -> b? This avoids the downsides of & while maybe being less
| ugly to
| > combine with things than |>. Also, it looks like $, suggesting
| they're related.
| >
| 
| As a data point: I have in fact used <$$> as (flip fmap) before, with
| this exact
| reasoning.
| 
| 
| 
| Twan
| _______________________________________________
| Libraries mailing list
| Libraries at haskell.org
| http://www.haskell.org/mailman/listinfo/libraries




More information about the Libraries mailing list