On Friday, 28 July 2017 at 07:49:02 UTC, Yuxuan Shui wrote: > Someone made an interesting proposal to C++: > https://herbsutter.files.wordpress.com/2017/07/p0707r1.pdf > > Thoughts? Won't this abstraction compete directly with concepts (lite) and even with templates? Metaclasses appear to be at least as expressive as these two constructs.