Flipped function application
Twan van Laarhoven
twanvl
Thu Oct 10 17:19:36 UTC 2013
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
More information about the Libraries
mailing list