We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
Not very comprehensive but could get someone more than me to understand the difference.
What's harder to understand is what is gained by the mathematically correct version apart from the fact that it sounds safe and reassuring. Maybe we should just rename it to "complicated".
Not very comprehensive but could get someone more than me to understand the difference.
What's harder to understand is what is gained by the mathematically correct version apart from the fact that it sounds safe and reassuring. Maybe we should just rename it to "complicated".