I dun a DIP, possibly the best DIP ever

[Stefan Koch]

On Friday, 24 April 2020 at 22:42:13 UTC, Walter Bright wrote:
> On 4/24/2020 1:49 AM, Manu wrote:
>> static foreach is not an expression, and it's very hard to 
>> involve those result calls in some conjunction. Expand that 
>> code to || them together... it gets ugly real fast.
>> I wouldn't have wasted my time writing this DIP and a 
>> reference implementation if static foreach was fine.
>
> This is why I suggested in the "Challenge" thread that these 
> need to be motivating examples in the proposed DIP, not the 
> ones that are in there, which are not particularly motivating.

There is one meta answer to the challenge as well.
The solution you propose to the examples given has to be come 
with a a description of the rule applied, that is a simple as 
"All tuples which fall under constraint A create tuples, 
according to rule B)." Which of course pre-supposes that this 
will be part of the specification.