[OT] Generative C++

[12345swordy via Digitalmars-d]

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