C++ Logo

std-proposals

Advanced search

Re: [std-proposals] P4174R0 Named, composable type sets for concept constraints

From: Emanuel Spiridon <spiridonemanuel23_at_[hidden]>
Date: Sun, 5 Apr 2026 17:55:57 +0300
No problem, I recommend looking at lists.isocpp.org/std-proposals to be
sure you're replying to a message in your thread

On Sat, 4 Apr 2026 at 02:46, Muneem via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> Mr.Emanual taking about something completely different, so please ignore
> my comments.
> sorry for Mr.Emanuel.
>
> On Sat, 4 Apr 2026, 4:44 am Muneem, <itfllow123_at_[hidden]> wrote:
>
>> Sorry for mistakenly mixing my email with your discussion, but
>> std::tuples still require switch case statements for runtime indexing and
>> masking it on a standard library level still relies on intermediate code
>> generation for optimizations. Again really sorry for mixing it up.
>>
>>
>> On Sat, 4 Apr 2026, 4:25 am Bjorn Reese via Std-Proposals, <
>> std-proposals_at_[hidden]> wrote:
>>
>>> On 4/3/26 20:49, Emanuel Spiridon via Std-Proposals wrote:
>>> > I submitted the paper regarding this proposal, which can be read here:
>>> > https://isocpp.org/files/papers/P4174R0.pdf
>>>
>>> Notice that such type algorithms have previously been proposed in
>>>
>>> https://wg21.link/P0949
>>>
>>> That proposal does not introduce its own type-list, but rather works
>>> on any type-list, including types like std::tuple or std::variant.
>>>
>>> --
>>> Std-Proposals mailing list
>>> Std-Proposals_at_[hidden]
>>> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>>>
>> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>

Received on 2026-04-05 14:56:09