Now that's a DIP that could use some love

[Nick Treleaven]

On Thursday, 17 September 2020 at 21:40:46 UTC, H. S. Teoh wrote:
> Precisely because the latter is the mechanics, the former is 
> the high-level requirements.  If your sig constraints look like 
> the latter such that you need a string description for it, then 
> perhaps you should be thinking about refactoring it into a 
> helper template with a descriptive name instead.

In general it's not practical to always (or even usually) write 
helper template traits, there can be a combinatorial explosion. 
Reading the name of such templates can be inferior to the logic 
of what they actually do. Helper templates should only be written 
if they'll be reused several times, and they need to have a 
clear, fairly simple concept.