Is D still alive?

[bearophile]

Andrei:

> One issue with DbC is that its only significant advantage is its 
> interplay with inheritance. Otherwise, scope() in conjunction with 
> assert works with less syntactic overhead. So DbC tends to shine with 
> large and deep hierarchies... but large and deep hierarchies are not 
> that a la mode anymore.

Have you tried to use class invariants manually? It's easy to forget its calls, and the calls clutter the code, and are not handy to write. So I don't agree.

Bye,
bearophile