post qualifier and template constraint limitation, is there a reason ?

[deadalnix via Digitalmars-d]

On Monday, 19 January 2015 at 10:49:52 UTC, Walter Bright wrote:
> On 1/18/2015 8:23 PM, deadalnix wrote:
>> IMO style is the role of the formater. Prompting the 
>> programmer with "don't
>> write this, write that instead" only crate reaction à la "If 
>> you know what I
>> meant, why don't you compile that you asshole ?"
>
> Redundancy is built in to the language design on purpose. If 
> there was no redundancy, any random sequence of bytes would be 
> a valid program.
>
> It's why statements end in ; even though it is not strictly 
> necessary.
>
> For an example from another industry, it's why double-entry 
> bookkeeping was invented. Errors are reduced by introducing 
> redundancy.

Ideally, the redundancy is there to catch useful error, or it is 
just noise. I'm not sure what useful error we are catching here, 
as type system already to the check.