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.