Discussion on static reflection syntax in C++

[Stefan Koch]

On Monday, 22 February 2021 at 16:27:49 UTC, Andrei Alexandrescu 
wrote:
> Of possible interest:
>
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2320r0.pdf

Hmm at a glance it looks close where I am at with typefunctions.

The syntactic difference is that the unary ^ is an either an 
implicit conversion or an explicit cast.

If they play their cards right and integrate their meta-info 
properly with constexpr it's going to beat D.