search

atomgalaxy / isocpp-universal-template-param

We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
https://atomgalaxy.github.io/isocpp-universal-template-param/d1985r0.pdf
2 stars 2 forks source link

Merged the dependent names and using universal templates in code #32

Closed camaclean closed 1 year ago

camaclean commented 1 year ago

These sections had some overlap and I think the rules proposed regarding dependnet names in the "using universal templates in code" section overly complicated things. What I propose instead is to modify the dependnet name rules to promote dependnet names to universal template parameters in the narrow context of dependnet names used as template arguments (see text for detailed explanation). Because dependent names and UTPs are only visible as UTPs in this narrow context, there's no need for re-evaluation or anything like that.

camaclean commented 1 year ago

Basically, this PR changes the way we look at things such that the parsing of dependent names and UTPs is completely unified. UTPs can be viewed exactly as dependent names and dependent names/UTPs operate as UTPs when passed as template arguments.

atomgalaxy commented 1 year ago

Accept friend request :) i have done work on the r3 branch after i merged everything to try and get examples first.

Let's reconvene on discord.

On Sun, Sep 11, 2022, 19:31 camaclean @.***> wrote:

Basically, this PR changes the way we look at things such that the parsing of dependent names and UTPs is completely unified. UTPs can be viewed exactly as dependent names and dependent names/UTPs operate as UTPs when passed as template arguments.

— Reply to this email directly, view it on GitHub https://github.com/atomgalaxy/isocpp-universal-template-param/pull/32#issuecomment-1243018436, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAA5R5PCPWXEHSCJMAAXKGDV5YQQ3ANCNFSM6AAAAAAQJ3QSWU . You are receiving this because your review was requested.Message ID: @.*** com>