[ghc-steering-committee] #493: SPECIALISE with expressions, rec: accept

[Arnaud Spiwack]

This does look quite reasonable. And, off the top of my head, rather
natural to implement. I vote accept.

On Wed, 29 Nov 2023 at 09:25, Adam Gundry <adam at well-typed.com> wrote:

> Dear all,
>
> Richard and Simon propose to generalise SPECIALISE pragmas to allow
> expressions, not just type signatures:
>
> https://github.com/ghc-proposals/ghc-proposals/pull/493
>
> https://github.com/goldfirere/ghc-proposals/blob/specialise/proposals/0000-specialise-expressions.rst
>
> This does not add anything fundamentally new, because such SPECIALISE
> pragmas can be translated using the existing RULES machinery, but it
> does make several idioms substantially more convenient:
>
>   * Using type applications in a SPECIALISE pragma to avoid repetition
>
>   * Manual call-pattern specialisation
>
>   * Loop unrolling
>
> Thus I propose we accept this proposal.
>
> Cheers,
>
> Adam
>
>
> --
> Adam Gundry, Haskell Consultant
> Well-Typed LLP, https://www.well-typed.com/
>
> Registered in England & Wales, OC335890
> 27 Old Gloucester Street, London WC1N 3AX, England
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231129/476442f7/attachment.html>