On Sat, 4 Apr 2026 at 02:25, 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.


Yes, the proposal from 2018 is quite similar to mine, however that proposal
is trying to standardize Boost.Mp11 as a general purpose meta programming
toolkit.
P0949 was proposed in 2018 but was not adopted, and predates C++20 concepts
entirely.

I am proposing the minimal building blocks needed for named, composable
type sets for concept constraints, without requiring users to learn a full
meta programming library.
A more experienced developer could build additional tools on top of
what I propose
if they see fit.

-- 
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals