Vision for the D language - stabilizing complexity?

[Ola Fosheim Grøstad via Digitalmars-d]

On Thursday, 21 July 2016 at 09:35:55 UTC, Kagamin wrote:
> You can lower D to Assembler and analyze that. Assembler is 
> simple, isn't it?

You can, and that is what C++ is mostly limited to, but you then 
you most likely get false positives and cannot use the analysis 
as part of the type-system. If you are going to use e.g. pointer 
analysis as part of the type system, then it has to happen at a 
higher level.