[Haskell-cafe] Proposal: (.:) operator in base.

[David Menendez]

On Fri, Aug 19, 2016 at 2:50 PM, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> Am Freitag, den 19.08.2016, 11:16 -0700 schrieb Theodore Lief Gannon:
> > Well... there's that rather worrisome introductory paragraph of the
> > Data.Composition docs, though:
> >
> > "This module is for convenience and demonstrative purposes more than
> > it is for providing actual value. I do not recommend that you rely on
> > this module for performance-sensitive code. Because this module is
> > not based on Prelude's (.), some chances at optimization might be
> > missed by your compiler."
>
> I wonder if that is really something to worry about. Prelude’s (.) is
> not special in any way:

<snip>

> The INLINE pragma and the definition with the right arity could be used
> in Data.Composition as well, and it would yield the same results.
>

Any RULEs involving Prelude’s (.) would need to be copied as well.

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160819/ed44ff99/attachment.html>