[OT] Generative C++

[Stefan Koch via Digitalmars-d]

On Friday, 4 August 2017 at 16:32:27 UTC, 12345swordy wrote:
> On Friday, 4 August 2017 at 16:27:47 UTC, Stefan Koch wrote:
>> On Friday, 4 August 2017 at 16:11:11 UTC, 12345swordy wrote:
>>> On Friday, 4 August 2017 at 16:07:51 UTC, Kagamin wrote:
>>>> On Thursday, 3 August 2017 at 18:32:25 UTC, 12345swordy 
>>>> wrote:
>>>>> "Enable writing
>>>>> compiler-enforced
>>>>> patterns for any purpose:
>>>>> coding standards
>>>>> (e.g., many
>>>>> Core Guidelines
>>>>> “enforce” rules)
>>>>> "
>>>>>
>>>>> Yes, it does, right there. Are you reading the same paper 
>>>>> that I am?
>>>>
>>>> It works only on declarations, like D.
>>>
>>> I know that, what is your point?
>>
>> It means it can't be done.
>> Do do recursive flow-sensitive checks, (like those needed to 
>> enforce 'pure' or indeed '@nogc'), you'd have to write a 
>> self-modifying meta-program.
>> Which you cannot do.
> I wasn't thinking about recursive checking when I was talking 
> about enforcing code standards.
>
> Alex

enforcing a standard on the top-level only does not really 
enforce anything.
Which is why Timon asked how you'd write the code.
Because you have to try doing it to see that it is indeed not 
possible to the level that is needed for those constructs.