Feedback on Átila's Vision for D

[Alex]

On Tuesday, 22 October 2019 at 14:37:25 UTC, IGotD- wrote:
>
> I don't understand why multiple inheritance is allowed except 
> this lethal "diamond problem" has been implemented in a 
> language which would seem to be a fair limitation. I have 
> programmed C++ for decades and I have never used virtual 
> inheritance when diamond like inheritance has happened, zero 
> times. Also I have never encountered I had to rearrange the 
> inheritance in order to avoid the diamond problem. However, I 
> use multiple inheritance often in terms of that one class 
> inherits from several other classes but the inheritance is 
> fairly flat and the inherited classes never have any common 
> parent class.

This one belongs to the section of "why is something done, in the 
way it is done". I'm the wrong addressee here.
I was asking, how the theory of the nominal type system is 
contradicting the existing solution.