Tuples, CTFE, and Sliding Template Arguments

[Timon Gehr]

On 1/15/24 04:41, Timon Gehr wrote:
> 
>> Doing complicated things should be expected to be more complicated to 
>> use. With 1036, it starts out at the other end. It's complicated, with 
>> complexity that one has to write additional code to make it simple 
>> again (the "filter out the unnecessary templates" thing we talked about).
> 
> That's DIP1036e, not DIP1036. DIP1036 does not have templates separating 
> the arguments, it only has a header at the start.

Seems I got that mixed up myself, with YAIDIP.

DIP1036 in fact does have the templates interspersed:
https://github.com/dlang/DIPs/blob/master/DIPs/other/DIP1036.md

But YAIDIP only has a header:
https://github.com/John-Colvin/YAIDIP